Results 11 to 20 of about 77,232 (273)
Inquisitive dynamic epistemic logic [PDF]
Synthese, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Roelofsen F
openaire +6 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
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
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.
Benevides, Mario Roberto Folhadela +1 more
openaire +4 more sources
Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Applied Sciences, 2020 The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task.
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow ...
Louwe B. Kuijer
doaj +1 more source
Coalition and Group Announcement Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years.
Rustam Galimullin, Natasha Alechina
doaj +1 more source
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
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
A Spatial-Epistemic Logic for Reasoning about Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
Bernardo Toninho, Luís Caires
doaj +1 more source