scientific article; zbMATH DE number 1852921

zbMATH Open1003.03519MaRDI QIDQ4789451FDOQ4789451

Authors: James W. Garson 

Publication date: 29 January 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (30)

• Natural kind semantics for a classical essentialist theory of kinds
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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.
• Title not available (Why is that?)
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Actualism, serious actualism, and quantified modal logic
• A Dynamic Semantics of Modal Subordination
• Proof-theoretic results of common sense modal predicate calculi
• Quantitative deduction and its fixpoint theory
• Single-domain free logic and the problem of compositionality
• Local causation
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• Title not available (Why is that?)
• Quantification in some non-normal modal logics
• On the expressive power of first-order modal logic with two-dimensional operators
• Unifying quantified modal logic
• Leśniewski-quantifiers and modal arguments in legal discourse
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• 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
• Title not available (Why is that?)
• On the expressivity of first-order modal logic with ``actually
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter

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)