scientific article; zbMATH DE number 1852921

MaRDI QIDQ4789451zbMATH OpenFDO

Authors James W. Garson

Publication date 29 January 2003

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited in

(30)

• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• scientific article; zbMATH DE number 1163940 (Why is no real title available?)
• Natural kind semantics for a classical essentialist theory of kinds
• Modal Logics with Counting
• Solving modal logic problems by translation to higher-order logic
• Quantified Modality and Essentialism
• A theoretical investigation into quantitative modal logic
• Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Actualism, serious actualism, and quantified modal logic
• A Dynamic Semantics of Modal Subordination
• Quantitative deduction and its fixpoint theory
• Proof-theoretic results of common sense modal predicate calculi
• Single-domain free logic and the problem of compositionality
• Local causation
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• scientific article; zbMATH DE number 6769394 (Why is no real title available?)
• Quantification in some non-normal modal logics
• Unifying quantified modal logic
• On the expressive power of first-order modal logic with two-dimensional operators
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Leśniewski-quantifiers and modal arguments in legal discourse
• Second-order propositional modal logic: expressiveness and completeness results
• Natural deduction for first-order hybrid logic
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• scientific article; zbMATH DE number 5734940 (Why is no real title available?)
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• On the expressivity of first-order modal logic with ``actually

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 Q4789451)