A proof-theoretic study of the correspondence of classical logic and modal logic
From MaRDI portal
Publication:4650293
DOI10.2178/JSL/1067620195zbMATH Open1056.03009OpenAlexW2085424246MaRDI QIDQ4650293FDOQ4650293
Authors:
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
Recommendations
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Applicability of Motohashi's method to modal logics
- scientific article; zbMATH DE number 970624
- Modal translations in substructural logics
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Permutability of proofs in intuitionistic sequent calculi
- Ein erweiterter Klassenkalkül
- On some calculi of modal logic
- Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)
Cited In (8)
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
- A proof-theoretic study of the correspondence of hybrid logic and classical logic
- A modal view of linear logic
- Proof analysis in modal logic
- Proofs and countermodels in non-classical logics
- On an automated translation of modal proof rules into formulas of the classical logic
- Applicability of Motohashi's method to modal logics
- Disentangling structural connectives or life without display property
This page was built for publication: A proof-theoretic study of the correspondence of classical logic and modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650293)
