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)

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

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)