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