scientific article
From MaRDI portal
Publication:3414345
zbMath1109.03001MaRDI QIDQ3414345
Publication date: 8 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicfree logicdefinite descriptionsrigid designatorsde re / de dicto distinctiontableau constructions
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (29)
Quantified temporal alethic boulesic doxastic logic ⋮ Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Tableaux for free logics with descriptions ⋮ A modal view on resource-bounded propositional logics ⋮ The dynamic turn in quantum logic ⋮ On individuals in branching histories ⋮ Broadening Label-Based Argumentation Semantics with May-Must Scales ⋮ Stanisław Jaśkowski: Life and Work ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Quantified temporal alethic-deontic logic ⋮ Maehara-style modal nested calculi ⋮ On the origin of logical determinism in Babylonia ⋮ Translation from three-valued quantum logic to modal logic ⋮ Doxastic logic: a new approach ⋮ Free logics are cut-free ⋮ Prior and possibly not existing ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A survey of nonstandard sequent calculi ⋮ Maximality of the Minimal R-Logic ⋮ Focused and Synthetic Nested Sequents ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Peirce and Proof: A View from the Trees
This page was built for publication:
