scientific article
From MaRDI portal
Publication:3241192
zbMath0077.01202MaRDI QIDQ3241192
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (39)
On interactive proof-search for constructive modal necessity ⋮ Mathematical foundations of consciousness ⋮ Deontic logic and possible worlds semantics: A historical sketch ⋮ Decision procedures for S3∘ and S4∘ ⋮ History and basic features of the critical-pair/completion procedure ⋮ A deep inference system for the modal logic S5 ⋮ Meredith, Prior, and the history of possible worlds semantics ⋮ Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ First degree entailments ⋮ Loop-free calculus for modal logic S4. I ⋮ Loop-free calculus for modal logic S4. II ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ A novel approach to equality ⋮ Opacity and the double life of singular propositions ⋮ Free variable tableaux for propositional modal logics ⋮ Mathematical modal logic: A view of its evolution ⋮ Quantified temporal alethic-deontic logic ⋮ Proof analysis in intermediate logics ⋮ Short Overview of the Development of Hintikka’s Work in Logic ⋮ Proof-search in intuitionistic logic based on constraint satisfaction ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Getting started: Beginnings in the logic of action ⋮ Investigations into quantified modal logic. I ⋮ Peirce's contributions to possible-worlds semantics ⋮ On some intuitionistic modal logics ⋮ Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom ⋮ The fallacies of the new theory of reference ⋮ Validity and necessity ⋮ From Schütte’s Formal Systems to Modern Automated Deduction ⋮ Condensed detachment as a rule of inference ⋮ Trees and diagrams of decomposition ⋮ Proof analysis in modal logic ⋮ The genesis of possible worlds semantics
This page was built for publication:
