scientific article; zbMATH DE number 3125693

zbMATH Open0077.01202MaRDI QIDQ3241192FDOQ3241192

Authors: Stig Kanger 

Publication date: 1957

Title of this publication is not available (Why is that?)

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

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
• 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
• Short overview of the development of Hintikka's work in logic
• 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)