Results 1 to 10 of about 825,268 (301)
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
exaly +7 more sources
A Modal Logic of Epistemic Games
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 +3 more sources
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +5 more sources
An Internal Version of Epistemic Logic [PDF]
Studia Logica, 2010 The author discusses three different ways to model epistemic scenarios: The \textit{external approach}, where the modeller is not one of the agents. Depending on whether the modeller has perfect knowledge of the situation or not, this approach is either \textit{perfect} or \textit{imperfect}. The \textit{imperfect internal approach}, where the modeller
exaly +4 more sources
A Truthmaker-based Epistemic Logic
Journal of Philosophical LogicAbstractThe aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a semantic framework based on $$\varvec{W}$$ W -models extended with a partial function, which selects the body of knowledge of ...
Vita Saitta
exaly +3 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
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
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
INTUITIONISTIC EPISTEMIC LOGIC [PDF]
The Review of Symbolic Logic, 2016 AbstractWe outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification.
Sergei N. Artëmov, Tudor Protopopescu
openaire +2 more sources