scientific article; zbMATH DE number 3402571
From MaRDI portal
Publication:5668435
zbMath0255.02014MaRDI QIDQ5668435
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items
Cut-free sequent and tableau systems for propositional Diodorean modal logics ⋮ The saturated tableaux for linear miniscope Horn-like temporal logic ⋮ European summer meeting of the Association for Symbolic Logic ⋮ Incompleteness and the Barcan formula ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ On Some Modal Type Intuitionistic Fuzzy Operators ⋮ Does the deduction theorem fail for modal logic? ⋮ A modal view of linear logic ⋮ A study of some tense logics by Gentzen's sequential method ⋮ A Hintikka possible worlds model for certainty levels in medical decision making ⋮ Modal propositional logic on an orthomodular basis. I ⋮ On temporal logic S4Dbr ⋮ Modal translations in substructural logics ⋮ Dugundji's theorem revisited ⋮ Sequent-systems for modal logic ⋮ Embeddings of classical logic in S4 ⋮ Display calculi and other modal calculi: a comparison ⋮ Frege systems for extensible modal logics ⋮ A cut-free sequential system for the propositional modal logic of finite chains ⋮ Solving the \$100 modal logic challenge ⋮ A Lewisian Semantics for S2 ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia ⋮ On the proof complexity of logics of bounded branching ⋮ Rules with parameters in modal logic. I.
This page was built for publication:
