43 citations · 95 across the 4 of their papers we have counts for
3 papers · 1 filter
Multi-type Display Calculus for Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display-approach is suitable to modularly c…
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of…
Multi-type Sequent Calculi
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumption…