scholarly journals Structural Extensions of Display Calculi: A General Recipe

2013 ◽  
pp. 81-95 ◽  
Author(s):  
Agata Ciabattoni ◽  
Revantha Ramanayake
Keyword(s):  
Display Calculi

scholarly journals Display calculi and other modal calculi: a comparison

Synthese ◽  
2008 ◽  
Vol 173 (3) ◽  
pp. 259-279 ◽  
Author(s):  
Francesca Poggiolesi
Keyword(s):  
Display Calculi

Hypersequent and Display Calculi – a Unified Perspective

Studia Logica ◽  
2014 ◽  
Vol 102 (6) ◽  
pp. 1245-1294 ◽  
Author(s):  
Agata Ciabattoni ◽  
Revantha Ramanayake ◽  
Heinrich Wansing
Keyword(s):  
Display Calculi

scholarly journals Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge

10.29007/mwpp ◽  
2018 ◽  
Author(s):  
Giuseppe Greco ◽  
Alexander Kurz ◽  
Alessandra Palmigiano
Keyword(s):  
Sequent Calculus ◽  
Relational Semantics ◽  
Sequent Calculi ◽  
Structural Rules ◽  
Epistemic Actions ◽  
Dynamic Logics ◽  
Display Calculi

We develop a family of display-style, cut-free sequent calculi for dynamic epistemic logics on both an intuitionistic and a classical base. Like the standard display calculi, these calculi are modular: just by modifying the structural rules according to Dosen’s principle, these calculi are generalizable both to different Dynamic Logics (Epistemic, Deontic, etc.) and to different propositional bases (Linear, Relevant, etc.). Moreover, the rules they feature agree with the standard relational semantics for dynamic epistemic logics.

scholarly journals Display Calculi for Nominal Tense Logics

2002 ◽  
Vol 12 (6) ◽  
pp. 993-1016 ◽  
Author(s):  
S. Demri
Keyword(s):  
Display Calculi

scholarly journals Embedding Display Calculi into Logical Frameworks:

2001 ◽  
Vol 42 ◽  
pp. 89-103 ◽  
Author(s):  
Jeremy E. Dawson ◽  
Rajeev Goré
Keyword(s):  
Logical Frameworks ◽  
Display Calculi

scholarly journals Proper Multi-Type Display Calculi for Rough Algebras

2019 ◽  
Vol 344 ◽  
pp. 101-118 ◽  
Author(s):  
Giuseppe Greco ◽  
Fei Liang ◽  
Krishna Manoorkar ◽  
Alessandra Palmigiano
Keyword(s):  
Display Calculi
Sign in / Sign up

Export Citation Format

Share Document