Results 1 to 10 of about 27,099 (296)
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.
François Schwarzentruber +1 more
doaj +6 more sources
A New Modal Framework for Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \
Yanjing Wang
doaj +6 more sources
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +4 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 +3 more sources
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj +3 more sources
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 +4 more sources
Dynamic term-modal logics for first-order epistemic planning [PDF]
Artificial Intelligence, 2020 Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(x)$.
Andrés Occhipinti Liberman +2 more
openalex +8 more sources
Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information [PDF]
, 2023 Coordination and joint ability are important problems in representation and reasoning about multi-agent systems. Ghaderi et al. presented a formalization of joint ability of coalitions in the expressive first-order language of the situation calculus. Essentially, a coalition has joint ability to achieve a goal if after iterated elimination of dominated
Zhaoshuai Liu +2 more
openalex +2 more sources
Inductive Inference and Epistemic Modal Logic (Invited Talk) [PDF]
, 2023 This paper is concerned with a link between inductive inference and dynamic epistemic logic. The bridge was first introduced in [Gierasimczuk, 2009; Nina Gierasimczuk, 2009; Gierasimczuk, 2010]. We present a synthetic view on subsequent contributions: inductive truth-tracking properties of belief revision policies seen as belief upgrade methods ...
Nina Gierasimczuk
openalex +4 more sources
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together [PDF]
, 2009 We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and enabling to reason about epistemic games in strategic form. We provide complexity results for EDLA.
Emiliano Lorini +2 more
+6 more sources