scholarly journals Terminating sequent calculi for two intuitionistic modal logics

2018 ◽  
Vol 28 (7) ◽  
pp. 1701-1712 ◽  
Author(s):  
Rosalie Iemhoff
Keyword(s):  
Modal Logics ◽  
Sequent Calculi ◽  
Intuitionistic Modal Logics

Gentzen sequent calculi for some intuitionistic modal logics

2019 ◽  
Vol 27 (4) ◽  
pp. 596-623
Author(s):  
Zhe Lin ◽  
Minghui Ma
Keyword(s):  
Propositional Logic ◽  
Sequent Calculus ◽  
Modal Logics ◽  
Cut Elimination ◽  
Sequent Calculi ◽  
Intuitionistic Propositional Logic ◽  
Propositional Language ◽  
Intuitionistic Modal Logics ◽  
Subformula Property ◽  
Gentzen Sequent Calculus

Abstract Intuitionistic modal logics are extensions of intuitionistic propositional logic with modal axioms. We treat with two modal languages ${\mathscr{L}}_\Diamond $ and $\mathscr{L}_{\Diamond ,\Box }$ which extend the intuitionistic propositional language with $\Diamond $ and $\Diamond ,\Box $, respectively. Gentzen sequent calculi are established for several intuitionistic modal logics. In particular, we introduce a Gentzen sequent calculus for the well-known intuitionistic modal logic $\textsf{MIPC}$. These sequent calculi admit cut elimination and subformula property. They are decidable.

Models for stronger normal intuitionistic modal logics

Studia Logica ◽  
1985 ◽  
Vol 44 (1) ◽  
pp. 39-70 ◽  
Author(s):  
Kosta Došen
Keyword(s):  
Modal Logics ◽  
Intuitionistic Modal Logics

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

Studia Logica ◽  
1985 ◽  
Vol 44 (1) ◽  
pp. 79-85 ◽  
Author(s):  
Dimiter Vakarelov
Keyword(s):  
Modal Logics ◽  
Intuitionistic Modal Logics

Modular Sequent Calculi for Classical Modal Logics

Studia Logica ◽  
2014 ◽  
Vol 103 (1) ◽  
pp. 175-217 ◽  
Author(s):  
David R. Gilbert ◽  
Paolo Maffezioli
Keyword(s):  
Modal Logics ◽  
Sequent Calculi
Sign in / Sign up

Export Citation Format

Share Document