Results 11 to 20 of about 132,694 (289)
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
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.
Artemov, Sergei, Protopopescu, Tudor
openaire +2 more sources
The Review of Symbolic Logic, 2020 AbstractWe presentepistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati & ...
Incurvati, L., Schlöder, J.J.
openaire +2 more sources
SMALL INFINITARY EPISTEMIC LOGICS [PDF]
The Review of Symbolic Logic, 2019 AbstractWe develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL (Lα) are presented for ordinalαup to a givenαo(αo≥ω) so that GL(L0) is finitary ...
Hu, Tai-Wei +2 more
openaire +4 more sources
A Logical Framework for Democratic Decision-Making: Epistemic Logic and Liquid Democracy
Science & Philosophy, 2020 Since Hintikka’s epistemic logic, the logic of knowledge, has been a subject of research in philosophy, computer science, artificial intelligence and game theory.
Simone Cuconato
doaj +1 more source
Common Knowledge in a Logic of Gossips [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors studied distributed epistemic gossip protocols.
Krzysztof R. Apt, Dominik Wojtczak
doaj +1 more source
An Epistemic Strategy Logic (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents ...
Xiaowei Huang, Ron van der Meyden
doaj +1 more source
Open Problems in a Logic of Gossips [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication.
Krzysztof R. Apt, Dominik Wojtczak
doaj +1 more source
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 +1 more source
DYNAMIC GRADED EPISTEMIC LOGIC [PDF]
The Review of Symbolic Logic, 2019 AbstractGraded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic ...
Ma, Minghui, van Ditmarsch, Hans
openaire +2 more sources