scientific article
From MaRDI portal
Publication:3247119
zbMath0080.00701MaRDI QIDQ3247119
Masao Ohnishi, Kazuo Matsumoto
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (34)
A dual-context sequent calculus for the constructive modal logic S4 ⋮ Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Decision procedures for S3∘ and S4∘ ⋮ A deep inference system for the modal logic S5 ⋮ Tautology Elimination, Cut Elimination, and S5 ⋮ Modal multilattice logic ⋮ Loop-free calculus for modal logic S4. I ⋮ Varieties of Relevant S5 ⋮ Focus-style proofs for the two-way alternation-free \(\mu \)-calculus ⋮ A study of some tense logics by Gentzen's sequential method ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Hintikka multiplicities in matrix decision methods for some propositional modal logics ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Resolution for some first-order modal systems ⋮ Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Full classical S5 in natural deduction with weak normalization ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ 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 ⋮ The bounded proof property via step algebras and step frames ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Epistemic considerations of decision making in games ⋮ Unnamed Item ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ On the proof theory of infinitary modal logic ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication:
