Results 1 to 10 of about 500 (249)
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 +4 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 +4 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 +3 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)$.
Occhipinti Liberman, Andrés +2 more
+14 more sources
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 +3 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
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 +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
Linguistic Means of Expressing Objective Epistemic Modality in Scientific Discourse
Научный диалог, 2020 The predicates typical of scientific discourse shown, proved, established , etc., which are used to present the results of the study are discussed in the article.
A. V. Sakharova
doaj +1 more source
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj +1 more source