Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109796672> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2109796672 abstract "It is known that a theory in S5-epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas. We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language. We develop a strengthened S5-axiomatic system for such infinitary logics, and prove a strong completeness theorem for them. Then we show that in every such logic there is always a theory with more than one model." @default.
- W2109796672 created "2016-06-24" @default.
- W2109796672 creator A5001477344 @default.
- W2109796672 date "1997-01-01" @default.
- W2109796672 modified "2023-09-26" @default.
- W2109796672 title "Infinitary S5-Epistemic Logic" @default.
- W2109796672 cites W1560972796 @default.
- W2109796672 cites W2016917647 @default.
- W2109796672 cites W2034455333 @default.
- W2109796672 cites W2051167594 @default.
- W2109796672 cites W2076073997 @default.
- W2109796672 cites W2106622011 @default.
- W2109796672 cites W4242309855 @default.
- W2109796672 doi "https://doi.org/10.1002/malq.19970430306" @default.
- W2109796672 hasPublicationYear "1997" @default.
- W2109796672 type Work @default.
- W2109796672 sameAs 2109796672 @default.
- W2109796672 citedByCount "9" @default.
- W2109796672 countsByYear W21097966722012 @default.
- W2109796672 crossrefType "journal-article" @default.
- W2109796672 hasAuthorship W2109796672A5001477344 @default.
- W2109796672 hasConcept C118615104 @default.
- W2109796672 hasConcept C124101348 @default.
- W2109796672 hasConcept C134306372 @default.
- W2109796672 hasConcept C136119220 @default.
- W2109796672 hasConcept C154945302 @default.
- W2109796672 hasConcept C167729594 @default.
- W2109796672 hasConcept C17231256 @default.
- W2109796672 hasConcept C195818886 @default.
- W2109796672 hasConcept C199343813 @default.
- W2109796672 hasConcept C200116569 @default.
- W2109796672 hasConcept C202444582 @default.
- W2109796672 hasConcept C2524010 @default.
- W2109796672 hasConcept C2777686260 @default.
- W2109796672 hasConcept C33923547 @default.
- W2109796672 hasConcept C41008148 @default.
- W2109796672 hasConcept C47030870 @default.
- W2109796672 hasConcept C60048249 @default.
- W2109796672 hasConcept C71924100 @default.
- W2109796672 hasConcept C80444323 @default.
- W2109796672 hasConcept C87117476 @default.
- W2109796672 hasConceptScore W2109796672C118615104 @default.
- W2109796672 hasConceptScore W2109796672C124101348 @default.
- W2109796672 hasConceptScore W2109796672C134306372 @default.
- W2109796672 hasConceptScore W2109796672C136119220 @default.
- W2109796672 hasConceptScore W2109796672C154945302 @default.
- W2109796672 hasConceptScore W2109796672C167729594 @default.
- W2109796672 hasConceptScore W2109796672C17231256 @default.
- W2109796672 hasConceptScore W2109796672C195818886 @default.
- W2109796672 hasConceptScore W2109796672C199343813 @default.
- W2109796672 hasConceptScore W2109796672C200116569 @default.
- W2109796672 hasConceptScore W2109796672C202444582 @default.
- W2109796672 hasConceptScore W2109796672C2524010 @default.
- W2109796672 hasConceptScore W2109796672C2777686260 @default.
- W2109796672 hasConceptScore W2109796672C33923547 @default.
- W2109796672 hasConceptScore W2109796672C41008148 @default.
- W2109796672 hasConceptScore W2109796672C47030870 @default.
- W2109796672 hasConceptScore W2109796672C60048249 @default.
- W2109796672 hasConceptScore W2109796672C71924100 @default.
- W2109796672 hasConceptScore W2109796672C80444323 @default.
- W2109796672 hasConceptScore W2109796672C87117476 @default.
- W2109796672 hasLocation W21097966721 @default.
- W2109796672 hasOpenAccess W2109796672 @default.
- W2109796672 hasPrimaryLocation W21097966721 @default.
- W2109796672 hasRelatedWork W1560972796 @default.
- W2109796672 hasRelatedWork W1583848363 @default.
- W2109796672 hasRelatedWork W1760954332 @default.
- W2109796672 hasRelatedWork W181161903 @default.
- W2109796672 hasRelatedWork W1975223030 @default.
- W2109796672 hasRelatedWork W1990384161 @default.
- W2109796672 hasRelatedWork W1995355963 @default.
- W2109796672 hasRelatedWork W2014570252 @default.
- W2109796672 hasRelatedWork W2027091950 @default.
- W2109796672 hasRelatedWork W2067513880 @default.
- W2109796672 hasRelatedWork W2082661869 @default.
- W2109796672 hasRelatedWork W2094001511 @default.
- W2109796672 hasRelatedWork W2106622011 @default.
- W2109796672 hasRelatedWork W2146819619 @default.
- W2109796672 hasRelatedWork W2274088233 @default.
- W2109796672 hasRelatedWork W2294397889 @default.
- W2109796672 hasRelatedWork W2360941149 @default.
- W2109796672 hasRelatedWork W2496974770 @default.
- W2109796672 hasRelatedWork W2590401811 @default.
- W2109796672 hasRelatedWork W3124326626 @default.
- W2109796672 isParatext "false" @default.
- W2109796672 isRetracted "false" @default.
- W2109796672 magId "2109796672" @default.
- W2109796672 workType "article" @default.