Modal logic for philosophers

MaRDI QIDQ3414345zbMATH OpenFDO

Authors James W. Garson

Publication date 8 January 2007

zbMATH Keywords

de re / de dicto distinctiondefinite descriptionsfree logicmodal logicrigid designatorstableau constructions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Modal logic (including the logic of norms) (03B45)

Recommendations

• First-order modal logic
• scientific article; zbMATH DE number 1003731
• Modal logic. An introduction to its syntax and semantics
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
• scientific article; zbMATH DE number 1764657

Cited in

(48)

• Maehara-style modal nested calculi
• Tableaux for free logics with descriptions
• A modal view on resource-bounded propositional logics
• Dual and axiomatic systems for constructive S4, a formally verified equivalence
• On the origin of logical determinism in Babylonia
• Translation from three-valued quantum logic to modal logic
• Free logics are cut-free
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• A survey of nonstandard sequent calculi
• Focused and Synthetic Nested Sequents
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
• Quantified temporal alethic-deontic logic
• scientific article; zbMATH DE number 6609010 (Why is no real title available?)
• Inadequacy of modal logic in quantum settings
• scientific article; zbMATH DE number 5295701 (Why is no real title available?)
• Modal logic. An introduction to its syntax and semantics
• An Ontology-Based First-Order Modal Logic
• scientific article; zbMATH DE number 4037817 (Why is no real title available?)
• The dynamic turn in quantum logic
• On individuals in branching histories
• scientific article; zbMATH DE number 1941928 (Why is no real title available?)
• Stanisław Jaśkowski: life and work
• Stanisław Jaśkowski and Natural Deduction Systems
• Necessity Lost
• Doxastic logic: a new approach
• Maximality of the minimal R-logic
• Cylindric modal logic
• scientific article; zbMATH DE number 1389650 (Why is no real title available?)
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• scientific article; zbMATH DE number 7450025 (Why is no real title available?)
• Broadening Label-Based Argumentation Semantics with May-Must Scales
• Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
• Logic script 2. Introduction to modal logic
• Prior and possibly not existing
• Fregean Description Theory in Proof-Theoretical Setting
• The Development of C. I. Lewis's Philosophy of Modal Logic
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• Ockhamism and Quantified Modal Logic
• Modal logic for philosophers
• Modal Logic as Metaphysics
• Peirce and Proof: A View from the Trees
• On paracomplete versions of Jaśkowski's discussive logic
• Stoic sign-inference and their lore of fate
• Tableau systems for some Ivlev-like (quantified) modal logics
• When Iota meets lambda
• Computer-aided searching for a tabular many-valued discussive logic -- matrices
• Quantified temporal alethic boulesic doxastic logic

This page was built for publication: Modal logic for philosophers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3414345)