Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that
appeals to logicians. However, its existing implementations are based on explicit model …

In this demonstration paper, we present a pedagogical tool called Hintikka's world for
showing how artificial agents can reason about higher-order knowledge (an agent knows …

We present a variant of Kripke models to model knowledge of large numbers, applicable to
cryptographic protocols. Our Epistemic Crypto Logic is a variant of Dynamic Epistemic Logic …

We present a software tool for reasoning in and about propositional sequent calculi for
modal logics of actions. As an example, we implement the display calculus D. EAK of …

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 …

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 …

While there have been many attempts, going back to BAN logic, to base reasoning about
security protocols on epistemic notions, they have not been all that successful. Arguably, this …

The general header 'Epistemic Attitudes via Simplicial Complexes' permits a wealth of
topics, also involving group epistemics such as distributed knowledge and common …

This thesis presents an epistemic logic for modeling Zero-Knowledge proofs and other
cryptographic protocols. We consider multi-agent interactions where a prover convinces a …

Public announcement logic with common knowledge (PAC) is a logic that formalizes the
notion of epistemic update. The main objective of this study is to propose a labelled natural …