FRINK Linked Data Fragments server

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

• W2023809954 abstract "A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give a step-by-step reconstruction of agents omniscience. In particular, its semantic assumptions are made explicit and a possible solution can be found in weakening the properties of the knowledge operator." @default.
• W2023809954 created "2016-06-24" @default.
• W2023809954 creator A5017629529 @default.
• W2023809954 creator A5070416327 @default.
• W2023809954 date "2013-09-12" @default.
• W2023809954 modified "2023-10-01" @default.
• W2023809954 title "Proof theory of epistemic logic of programs" @default.
• W2023809954 cites W138379559 @default.
• W2023809954 cites W1528441197 @default.
• W2023809954 cites W1535521146 @default.
• W2023809954 cites W1542835181 @default.
• W2023809954 cites W156770554 @default.
• W2023809954 cites W1572370762 @default.
• W2023809954 cites W1576791453 @default.
• W2023809954 cites W1597481850 @default.
• W2023809954 cites W1988047824 @default.
• W2023809954 cites W1995718667 @default.
• W2023809954 cites W2000451268 @default.
• W2023809954 cites W2007119026 @default.
• W2023809954 cites W2016428897 @default.
• W2023809954 cites W2018205748 @default.
• W2023809954 cites W2024581274 @default.
• W2023809954 cites W2025571074 @default.
• W2023809954 cites W2032206951 @default.
• W2023809954 cites W2041585656 @default.
• W2023809954 cites W2069840991 @default.
• W2023809954 cites W2085914381 @default.
• W2023809954 cites W2106622011 @default.
• W2023809954 cites W2146819619 @default.
• W2023809954 cites W2336123333 @default.
• W2023809954 cites W2483933214 @default.
• W2023809954 cites W3049436368 @default.
• W2023809954 cites W5642659 @default.
• W2023809954 cites W657836190 @default.
• W2023809954 doi "https://doi.org/10.12775/llp.2013.026" @default.
• W2023809954 hasPublicationYear "2013" @default.
• W2023809954 type Work @default.
• W2023809954 sameAs 2023809954 @default.
• W2023809954 citedByCount "1" @default.
• W2023809954 countsByYear W20238099542014 @default.
• W2023809954 crossrefType "journal-article" @default.
• W2023809954 hasAuthorship W2023809954A5017629529 @default.
• W2023809954 hasAuthorship W2023809954A5070416327 @default.
• W2023809954 hasBestOaLocation W20238099541 @default.
• W2023809954 hasConcept C101468663 @default.
• W2023809954 hasConcept C102993220 @default.
• W2023809954 hasConcept C107247716 @default.
• W2023809954 hasConcept C108710211 @default.
• W2023809954 hasConcept C111472728 @default.
• W2023809954 hasConcept C138885662 @default.
• W2023809954 hasConcept C154945302 @default.
• W2023809954 hasConcept C167729594 @default.
• W2023809954 hasConcept C195653647 @default.
• W2023809954 hasConcept C199343813 @default.
• W2023809954 hasConcept C199360897 @default.
• W2023809954 hasConcept C203659156 @default.
• W2023809954 hasConcept C2318724 @default.
• W2023809954 hasConcept C2524010 @default.
• W2023809954 hasConcept C2776214188 @default.
• W2023809954 hasConcept C2777686260 @default.
• W2023809954 hasConcept C2780586882 @default.
• W2023809954 hasConcept C28077239 @default.
• W2023809954 hasConcept C33923547 @default.
• W2023809954 hasConcept C3746660 @default.
• W2023809954 hasConcept C41008148 @default.
• W2023809954 hasConcept C6489637 @default.
• W2023809954 hasConcept C71924100 @default.
• W2023809954 hasConcept C80444323 @default.
• W2023809954 hasConceptScore W2023809954C101468663 @default.
• W2023809954 hasConceptScore W2023809954C102993220 @default.
• W2023809954 hasConceptScore W2023809954C107247716 @default.
• W2023809954 hasConceptScore W2023809954C108710211 @default.
• W2023809954 hasConceptScore W2023809954C111472728 @default.
• W2023809954 hasConceptScore W2023809954C138885662 @default.
• W2023809954 hasConceptScore W2023809954C154945302 @default.
• W2023809954 hasConceptScore W2023809954C167729594 @default.
• W2023809954 hasConceptScore W2023809954C195653647 @default.
• W2023809954 hasConceptScore W2023809954C199343813 @default.
• W2023809954 hasConceptScore W2023809954C199360897 @default.
• W2023809954 hasConceptScore W2023809954C203659156 @default.
• W2023809954 hasConceptScore W2023809954C2318724 @default.
• W2023809954 hasConceptScore W2023809954C2524010 @default.
• W2023809954 hasConceptScore W2023809954C2776214188 @default.
• W2023809954 hasConceptScore W2023809954C2777686260 @default.
• W2023809954 hasConceptScore W2023809954C2780586882 @default.
• W2023809954 hasConceptScore W2023809954C28077239 @default.
• W2023809954 hasConceptScore W2023809954C33923547 @default.
• W2023809954 hasConceptScore W2023809954C3746660 @default.
• W2023809954 hasConceptScore W2023809954C41008148 @default.
• W2023809954 hasConceptScore W2023809954C6489637 @default.
• W2023809954 hasConceptScore W2023809954C71924100 @default.
• W2023809954 hasConceptScore W2023809954C80444323 @default.
• W2023809954 hasIssue "0" @default.
• W2023809954 hasLocation W20238099541 @default.
• W2023809954 hasLocation W20238099542 @default.
• W2023809954 hasLocation W20238099543 @default.
• W2023809954 hasLocation W20238099544 @default.
• W2023809954 hasLocation W20238099545 @default.
• W2023809954 hasOpenAccess W2023809954 @default.
• W2023809954 hasPrimaryLocation W20238099541 @default.

• next