✦ LIBER ✦

Sequent calculi and decidability for intuitionistic hybrid logic

✍ Scribed by Didier Galmiche; Yakoub Salhi

Book ID: 113642009
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 260 KB
Volume: 209
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2011.10.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequent calculi for branching time tempo

Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability

✍ J. Sakalauskaitė 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 120 KB

Modular Sequent Calculi for Classical Mo

Modular Sequent Calculi for Classical Modal Logics

✍ Gilbert, David R.; Maffezioli, Paolo 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 754 KB

New sequent calculi for Visser's Formal

New sequent calculi for Visser's Formal Propositional Logic

✍ Katsumasa Ishii 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

## Abstract Two cut‐free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic (FPL) are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei‐Ardeshir's calculi for

Sequent calculi for propositional star-f

Sequent calculi for propositional star-free likelihood logic

✍ R. Alonderis 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 131 KB

Labeled sequent calculi for modal logics

Labeled sequent calculi for modal logics and implicit contractions

✍ Minari, Pierluigi 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 325 KB

Cut-free sequent calculi for some tense

Cut-free sequent calculi for some tense logics

✍ Ryo Kashima 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 691 KB