Results 31 to 40 of about 1,741 (282)
Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
Applied Sciences, 2022 This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
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 ...
Minghui Ma, Hans van Ditmarsch
openalex +3 more sources
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.
Éric Goubault +2 more
doaj +1 more source
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 +1 more source
Dynamic epistemic logic in update logic [PDF]
Journal of Logic and Computation, 2016 We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
openaire +3 more sources
Dynamic Epistemic Logic Displayed [PDF]
, 2013 We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that—as is common to display calculi—it is defined on an expanded language in which all logical ...
Greco, Giuseppe +2 more
openaire +2 more sources
Toward a Theory of Play: A Logical Perspective on Games and Interaction
Games, 2011 Logic and game theory have had a few decades of contacts by now, with the classical results of epistemic game theory as major high-lights. In this paper, we emphasize a recent new perspective toward “logical dynamics”, designing logical systems that ...
Olivier Roy +2 more
doaj +1 more source
Normal default rules as epistemic actions
Acta Universitatis Carolinae: Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source
Dynamic Epistemic Reasoning with Awareness and Its Legal Application [PDF]
Vietnam Journal of Computer Science, 2019 Concerning a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability of the result of the defendant.
Tetsuji Goto, Ryo Hatano, Satoshi Tojo
doaj +1 more source
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source