Pages that link to "Item:Q4612455"
From MaRDI portal
The following pages link to Terminating sequent calculi for two intuitionistic modal logics (Q4612455):
Displayed 6 items.
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Towards an intuitionistic deontic logic tolerating conflicting obligations (Q6160749) (← links)