4 papers
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 display calculus for Propositional Dynamic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +1
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula prope…
Structural Multi-type Sequent Calculus for Inquisitive Logic
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…