Results 11 to 20 of about 3,397 (165)
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings TARK 2017, arXiv:1707 ...
Kohei Kishida
openaire +6 more sources
Epistemic Logic: A Survey of the Logic of Knowledge [PDF]
Principia: an international journal of epistemology, 2019 Review of RESCHER, Nicholas. Epistemic Logic: A Survey of the Logic of Knowledge. Pittsburgh:University of Pittsburgh Press, 2005.
Alexandre Ziani de Borba
openaire +4 more sources
A Modal Logic of Epistemic Games [PDF]
Games, 2010 We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient ...
Lorini, Emiliano +1 more
openaire +6 more sources
Indicative Conditionals and Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Wesley H. Holliday, Thomas F. Icard III
doaj +1 more source
An Epistemic Strategy Logic [PDF]
ACM Transactions on Computational Logic, 2018 This article presents an extension of temporal epistemic logic with operators that can express quantification over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy being used by each of the agents.
Xiaowei Huang, Ron Van Der Meyden
openaire +6 more sources
Epistemic Sophisms, Calculatores and John Mair’s Circle
Noctua, 2022 This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements.
Miroslav Hanke
doaj +1 more source
A basic epistemic logic and its algebraic model
Intermaths, 2023 In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model ...
Hércules de Araujo Feitosa +2 more
doaj +1 more source
Exploiting Belief Bases for Building Rich Epistemic Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed ...
Emiliano Lorini
doaj +1 more source
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own ...
Francesco Belardinelli
doaj +1 more source
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of epistemic ATL is known to have the finite model property and decidable model-
Dimitar P. Guelev
doaj +1 more source