FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1518744800> ?p ?o ?g. }

• W1518744800 endingPage "125" @default.
• W1518744800 startingPage "109" @default.
• W1518744800 abstract "The paper presents a Kripke semantics for a multi-agent generalization of Levesque's logic of only knowing. We prove soundness and completeness and show that the logic has the Finite model property. The logic satisfies a Modal reduction theorem to the effect that any complex syntactical representation can be syntactically reduced to a provably equivalent form which directly reflects all the models of the representation. The model theory is illustrated by means of an example of supernormal defaults in a multi-agent language." @default.
• W1518744800 created "2016-06-24" @default.
• W1518744800 creator A5007099612 @default.
• W1518744800 creator A5091104066 @default.
• W1518744800 date "2005-06-10" @default.
• W1518744800 modified "2023-09-28" @default.
• W1518744800 title "Semantics for multi-agent only knowing: extended abstract" @default.
• W1518744800 cites W111190586 @default.
• W1518744800 cites W1595812894 @default.
• W1518744800 cites W169098792 @default.
• W1518744800 cites W1991972474 @default.
• W1518744800 cites W1998575874 @default.
• W1518744800 cites W2007448387 @default.
• W1518744800 cites W2101937542 @default.
• W1518744800 cites W2462313535 @default.
• W1518744800 cites W48715203 @default.
• W1518744800 hasPublicationYear "2005" @default.
• W1518744800 type Work @default.
• W1518744800 sameAs 1518744800 @default.
• W1518744800 citedByCount "9" @default.
• W1518744800 countsByYear W15187448002012 @default.
• W1518744800 countsByYear W15187448002014 @default.
• W1518744800 countsByYear W15187448002015 @default.
• W1518744800 countsByYear W15187448002016 @default.
• W1518744800 crossrefType "proceedings-article" @default.
• W1518744800 hasAuthorship W1518744800A5007099612 @default.
• W1518744800 hasAuthorship W1518744800A5091104066 @default.
• W1518744800 hasConcept C102993220 @default.
• W1518744800 hasConcept C111472728 @default.
• W1518744800 hasConcept C118615104 @default.
• W1518744800 hasConcept C134306372 @default.
• W1518744800 hasConcept C136119220 @default.
• W1518744800 hasConcept C138885662 @default.
• W1518744800 hasConcept C160131679 @default.
• W1518744800 hasConcept C17231256 @default.
• W1518744800 hasConcept C177148314 @default.
• W1518744800 hasConcept C17744445 @default.
• W1518744800 hasConcept C184337299 @default.
• W1518744800 hasConcept C185592680 @default.
• W1518744800 hasConcept C188027245 @default.
• W1518744800 hasConcept C189950617 @default.
• W1518744800 hasConcept C199360897 @default.
• W1518744800 hasConcept C199539241 @default.
• W1518744800 hasConcept C202444582 @default.
• W1518744800 hasConcept C203659156 @default.
• W1518744800 hasConcept C27508121 @default.
• W1518744800 hasConcept C2776359362 @default.
• W1518744800 hasConcept C33923547 @default.
• W1518744800 hasConcept C39920170 @default.
• W1518744800 hasConcept C41008148 @default.
• W1518744800 hasConcept C47030870 @default.
• W1518744800 hasConcept C71139939 @default.
• W1518744800 hasConcept C80444323 @default.
• W1518744800 hasConcept C94625758 @default.
• W1518744800 hasConceptScore W1518744800C102993220 @default.
• W1518744800 hasConceptScore W1518744800C111472728 @default.
• W1518744800 hasConceptScore W1518744800C118615104 @default.
• W1518744800 hasConceptScore W1518744800C134306372 @default.
• W1518744800 hasConceptScore W1518744800C136119220 @default.
• W1518744800 hasConceptScore W1518744800C138885662 @default.
• W1518744800 hasConceptScore W1518744800C160131679 @default.
• W1518744800 hasConceptScore W1518744800C17231256 @default.
• W1518744800 hasConceptScore W1518744800C177148314 @default.
• W1518744800 hasConceptScore W1518744800C17744445 @default.
• W1518744800 hasConceptScore W1518744800C184337299 @default.
• W1518744800 hasConceptScore W1518744800C185592680 @default.
• W1518744800 hasConceptScore W1518744800C188027245 @default.
• W1518744800 hasConceptScore W1518744800C189950617 @default.
• W1518744800 hasConceptScore W1518744800C199360897 @default.
• W1518744800 hasConceptScore W1518744800C199539241 @default.
• W1518744800 hasConceptScore W1518744800C202444582 @default.
• W1518744800 hasConceptScore W1518744800C203659156 @default.
• W1518744800 hasConceptScore W1518744800C27508121 @default.
• W1518744800 hasConceptScore W1518744800C2776359362 @default.
• W1518744800 hasConceptScore W1518744800C33923547 @default.
• W1518744800 hasConceptScore W1518744800C39920170 @default.
• W1518744800 hasConceptScore W1518744800C41008148 @default.
• W1518744800 hasConceptScore W1518744800C47030870 @default.
• W1518744800 hasConceptScore W1518744800C71139939 @default.
• W1518744800 hasConceptScore W1518744800C80444323 @default.
• W1518744800 hasConceptScore W1518744800C94625758 @default.
• W1518744800 hasLocation W15187448001 @default.
• W1518744800 hasOpenAccess W1518744800 @default.
• W1518744800 hasPrimaryLocation W15187448001 @default.
• W1518744800 hasRelatedWork W111190586 @default.
• W1518744800 hasRelatedWork W1501530641 @default.
• W1518744800 hasRelatedWork W1511258729 @default.
• W1518744800 hasRelatedWork W1683212044 @default.
• W1518744800 hasRelatedWork W169098792 @default.
• W1518744800 hasRelatedWork W1966552757 @default.
• W1518744800 hasRelatedWork W1991972474 @default.
• W1518744800 hasRelatedWork W1998575874 @default.
• W1518744800 hasRelatedWork W2004226183 @default.
• W1518744800 hasRelatedWork W2041998877 @default.
• W1518744800 hasRelatedWork W2101937542 @default.
• W1518744800 hasRelatedWork W2146819619 @default.
• W1518744800 hasRelatedWork W2148256560 @default.
• W1518744800 hasRelatedWork W2155410891 @default.

• next