Results 11 to 20 of about 4,530 (262)
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
An epistemic logic of blameworthiness [PDF]
Artificial Intelligence, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pavel Naumov, Jia Tao 0001
openaire +2 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 +1 more source
Unification in epistemic logics [PDF]
Journal of Applied Non-Classical Logics, 2017 Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.
Philippe Balbiani, Çigdem Gencer
openaire +3 more sources
Epistemic Updates on Algebras [PDF]
Logical Methods in Computer Science, 2013 We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator.
Alexander A Kurz +1 more
doaj +1 more source
A Gentle Introduction to Epistemic Planning: The DEL Approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning.
Thomas Bolander
doaj +1 more source
God beyond the Boundary-Stones of Thought
American Journal of Islam and Society, 2020 In this paper, I make the case for epistemic relativism: the radical view that all human knowledge/truth is relative. I extend the application of epistemic relativism to include necessary laws such as the laws of logic.
Abbas Ahsan
doaj +1 more source