Results 1 to 10 of about 1,986 (150)
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 +4 more sources
Inquisitive dynamic epistemic logic [PDF]
SynthÈse, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Floris Roelofsen, Roelofsen Floris
exaly +5 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 +5 more sources
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
IEEE Access, 2019 The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +3 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
Dynamic Epistemic Logic with Communication Actions
Electronic Notes in Theoretical Computer Science, 2019 This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic.
Mario R. F. Benevides, Isaque M. S. Lima
exaly +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 +2 more sources
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
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
The synchronicity of dynamic epistemic logic [PDF]
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011 In a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some DEL protocol; among the characterizing properties we also find synchronicity.
Dégremont, C., Löwe, B., Witzel, A.
openaire +4 more sources