research
∙
07/11/2023
Simple Axioms for Local Properties
Correspondence theory allows us to create sound and complete axiomatizat...
share
research
∙
07/13/2018
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols
We provide an in-depth study of the knowledge-theoretic aspects of commu...
research
∙
02/03/2018
Arrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUM...
research
∙
10/10/2017
A Note on Nesting in Dyadic Deontic Logic
The paper reports on some results concerning Aqvist's dyadic logic known...
research
∙
07/27/2017
A Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), ...
research
∙
06/24/2016
Epistemic Protocols for Distributed Gossiping
Gossip protocols aim at arriving, by means of point-to-point or group co...
research
∙
03/03/2015
An Introduction to Logics of Knowledge and Belief
This chapter provides an introduction to some basic concepts of epistemi...
research
∙
01/16/2014
