scientific article; zbMATH DE number 3208243
From MaRDI portal
Publication:5335309
zbMath0128.01203MaRDI QIDQ5335309
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A liberated version of S5 ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ On Some Modal Type Intuitionistic Fuzzy Operators ⋮ Involutions defined by monadic terms ⋮ Modal logics in the vicinity of S1 ⋮ Does the deduction theorem fail for modal logic? ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ A Brief History of Natural Deduction ⋮ Two decidable classes of formulas of the modal logic S5 ⋮ On the simple substitution property for superintuitionistic and modal propositional logics ⋮ A note on deduction theorem for Gödel's propositional calculus G4 ⋮ Remarks on discussive propositional calculus ⋮ Discussive sentential calculuc of Jaskowski ⋮ Making knowledge explicit: how hard it is ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ Mathematics of Intuitionistic Fuzzy Sets ⋮ The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright ⋮ Intuitionistic fuzzy temporal-modal operators ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom