Results 11 to 20 of about 10,593 (211)
EPISTEMIC MULTILATERAL LOGIC [PDF]
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 +3 more sources
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 ...
Minghui Ma, Hans van Ditmarsch
openaire +3 more sources
Logic and Logical Philosophy, 2017 Summary: This paper presents a logic of questions developed as an extension of (\textsf{S5}) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions).
Peliš, Michal
openaire +6 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
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +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
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
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