scientific article; zbMATH DE number 1852921
From MaRDI portal
Publication:4789451
zbMath1003.03519MaRDI QIDQ4789451
Publication date: 29 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (18)
Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ On the Expressivity of First-Order Modal Logic with “Actually” ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ Quantification in some non-normal modal logics ⋮ Single-domain free logic and the problem of compositionality ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Local causation ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Actualism, serious actualism, and quantified modal logic ⋮ Natural deduction for first-order hybrid logic ⋮ Commutativity of Quantifiers in Varying-Domain Kripke Models ⋮ A Dynamic Semantics of Modal Subordination ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic ⋮ Unifying quantified modal logic
This page was built for publication:
