The following pages link to (Q3247119):
Displaying 36 items.
- Loop-free calculus for modal logic S4. I (Q392988) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Triangle algebras: A formal logic approach to interval-valued residuated lattices (Q835104) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- Sequential method in propositional dynamic logic (Q1254991) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Epistemic considerations of decision making in games (Q1806301) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Tautology Elimination, Cut Elimination, and S5 (Q4565826) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- (Q5119390) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Decision procedures for S3∘ and S4∘ (Q5590786) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
- Proof-theoretic results of common sense modal predicate calculi (Q6601690) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
