Results 21 to 30 of about 3,397 (165)
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 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
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
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
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 Artemov, Tudor Protopopescu
openaire +4 more sources
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
A Knowledge Representation Framework Based on Epistemic Logic [PDF]
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, 2014 We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed ...
Teodor Przymusiński
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
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.
Balbiani, Philippe, Gencer, Cigdem
openaire +4 more sources
The logic of epistemic justification [PDF]
Synthese, 2017 Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases-predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical ...
openaire +4 more sources