A proof-theoretic study of the correspondence of classical logic and modal logic

DOI10.2178/jsl/1067620195zbMath1056.03009OpenAlexW2085424246MaRDI QIDQ4650293

No author found.

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1067620195

zbMATH Keywords

modal logic S4classical predicate logic with one-sorted variableproof-transformationquantified S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Disentangling structural connectives or life without display property ⋮ Proofs and countermodels in non-classical logics ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ Proof analysis in modal logic

Cites Work

• Permutability of proofs in intuitionistic sequent calculi
• Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)
• On some calculi of modal logic
• Ein erweiterter Klassenkalkül
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof-theoretic study of the correspondence of classical logic and modal logic