scientific article; zbMATH DE number 3131074

Cited in

(47)

Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
A study of some tense logics by Gentzen's sequential method
Resolution for some first-order modal systems
On some intuitionistic modal logics
Sequential method in propositional dynamic logic
A study of Kripke-type models for some modal logics by Gentzen's sequential method
Modal multilattice logic
Epistemic considerations of decision making in games
Modal extension of ideal paraconsistent four-valued logic and its subsystem
On the proof theory of infinitary modal logic
Labelled sequent calculi for Lewis' non-normal propositional modal logics
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Full classical S5 in natural deduction with weak normalization
A deep inference system for the modal logic S5
Hypersequent calculi for S5: the methods of cut elimination
Machine-checked proof-theory for propositional modal logics
Some remarks on the proof-theory and the semantics of infinitary modal logic
On a multilattice analogue of a hypersequent S5 calculus
Loop-free calculus for modal logic S4. I
Tautology elimination, cut elimination, and S5
Hintikka multiplicities in matrix decision methods for some propositional modal logics
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
Dual-context calculi for modal logic
Semantical approach to cut elimination and subformula property in modal logic
Two proofs of the algebraic completeness theorem for multilattice logic
Decision procedures for S3∘ and S4∘
A dual-context sequent calculus for the constructive modal logic S4
Varieties of Relevant S5
Focus-style proofs for the two-way alternation-free \(\mu \)-calculus
Falsification-aware calculi and semantics for normal modal logics including S4 and S5
Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
Proof-theoretic results of common sense modal predicate calculi
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
Unified natural deduction for logics of strong negation
Intuitionistic \textsf{S4} as a logic of topological spaces
Simple sequent systems for the modal logics K, D, T, and S4
Gentzen-type sequent calculus for modal logic S5
Twist sequent calculi for S4 and its neighbors
Symmetry and completeness in relevant epistemic logic
Nested sequents or tree-hypersequents -- a survey
Sequents vs hypersequents for Åqvist systems
A hypersequent solution to the inferentialist problem of modality
Inferential semantic contamination, harmony and realist pollution
The bounded proof property via step algebras and step frames
Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
Triangle algebras: A formal logic approach to interval-valued residuated lattices

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3247119)