✦ LIBER ✦

A proof–theoretic study of the correspondence of hybrid logic and classical logic

✍ Scribed by H. Kushida; M. Okada

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 324 KB
Volume: 16
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-006-9023-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof-theoretic investigation of a log

A proof-theoretic investigation of a logic of positions

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 560 KB

Proof-Theoretic Functional Completeness

Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

✍ Torben Braüner 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 407 KB

A proof-theoretical investigation of glo

A proof-theoretical investigation of global intuitionistic (fuzzy) logic

✍ Agata Ciabattoni 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 247 KB

On some proof theoretical properties of

On some proof theoretical properties of the modal logic GL

✍ Marco Borga 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

A definition of the logical concept of p

A definition of the logical concept of proof

✍ Kazimierz Ajdukiewicz 📂 Article 📅 1966 🏛 Springer Netherlands 🌐 English ⚖ 37 KB

Simple proof of the completeness theorem

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

✍ Karim Nour; Christophe Raffalli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 241 KB

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ÿrst-order one. We also extend our method to the case of second-order intuitionistic logic.