research
∙
07/11/2023
Comparing the Update Expressivity of Communication Patterns and Action Models
Any kind of dynamics in dynamic epistemic logic can be represented as an...
share
research
∙
11/24/2022
Impure Simplicial Complexes: Complete Axiomatization
Combinatorial topology is used in distributed computing to model concurr...
research
∙
07/21/2022
A Labelled Sequent Calculus for Public Announcement Logic
Public announcement logic(PAL) is an extension of epistemic logic (EL) w...
research
∙
07/02/2022
Communication Pattern Logic: Epistemic and Topological Views
We propose communication pattern logic. A communication pattern describe...
research
∙
06/02/2022
Satisfiability of Quantified Boolean Announcements
Dynamic epistemic logics consider formal representations of agents' know...
research
∙
02/08/2022
Boolean Observation Games
We introduce Boolean Observation Games, a subclass of multi-player finit...
research
∙
06/22/2021
No Finite Model Property for Logics of Quantified Announcements
Quantification over public announcements shifts the perspective from rea...
research
∙
03/04/2021
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
We propose a logic of knowledge for impure simplicial complexes. Impure ...
research
∙
11/26/2020
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
A gossip protocol is a procedure for sharing secrets in a network. The b...
research
∙
04/13/2020
Quantifying Notes Revisited
In this survey we review several dynamic epistemic logics with modalitie...
research
∙
02/20/2020
Knowledge and simplicial complexes
Simplicial complexes are a versatile and convenient paradigm on which to...
research
∙
07/29/2019
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Distributed dynamic gossip is a generalization of the classic telephone ...
research
∙
09/27/2018
How does uncertainty about other voters determine a strategic vote?
We propose a framework for strategic voting when a voter may lack knowle...
research
∙
03/05/2018
Positive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowled...
research
∙
02/03/2018
Arrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUM...
research
∙
12/14/2017
Quantifying over boolean announcements
Various extensions of public announcement logic have been proposed with ...
research
∙
07/27/2017
A Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), ...
research
∙
07/27/2017
Cheryl's Birthday
We present four logic puzzles and after that their solutions. Joseph Yeo...
research
∙
05/08/2017
Asynchronous Announcements
We propose a logic of asynchronous announcements, where truthful announc...
research
∙
06/27/2016
True Lies
A true lie is a lie that becomes true when announced. In a logic of anno...
research
∙
03/03/2015
An Introduction to Logics of Knowledge and Belief
This chapter provides an introduction to some basic concepts of epistemi...
research
∙
11/30/2013
Knowing Whether
Knowing whether a proposition is true means knowing that it is true or k...
research
∙
02/16/2012
Refinement Modal Logic
In this paper we present refinement modal logic. A refinement is like a...
research
∙
08/10/2011