13 citations · 17 across the 9 of their papers we have counts for
4 papers · 1 filter
First order logic properly displayed
Samuel Balco, Giuseppe Greco, Alexander Kurz +3
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style…
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…