scientific article; zbMATH DE number 1028834

MaRDI QIDQ4342097zbMATH OpenFDO

Authors James W. Garson

Publication date 8 July 1997

Mathematics Subject Classification ID

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

Cited in

(58)

• Normal predicative logics with graded modalities
• The power of temporal proofs
• A logic characterized by the class of connected models with nested domains
• On first-order conditional logics
• Reaching agreements through argumentation: a logical model and implementation
• Generalized quantifiers and modal logic
• Exploiting the normative aspect of preference: A deontic logic without actions
• Two-sorted metric temporal logics
• Specification of abstract dynamic-data types: A temporal logic approach
• Some first-order probability logics
• Decidable fragments of first-order temporal logics
• Distributed first order logic
• An approach to infinitary temporal proof theory
• Naming and identity in epistemic logic. II: A first-order logic for naming
• A theoretical investigation into quantitative modal logic
• The expressive power of second-order propositional modal logic
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Using temporal logics to express search control knowledge for planning
• A modified subformula property for the modal logic KC4
• Partly free semantics for some Anderson-like ontological proofs
• A Hilbert-style axiomatisation for equational hybrid logic
• `Now' and `then' in tense logic
• How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
• A modal reduction for partial logic
• How to Lewis a Kripke-Hintikka
• Multimodal logic programming
• Axiomatising first-order temporal logic: Until and since over linear time
• Leśniewski-quantifiers and modal arguments in legal discourse
• Investigation on fragments of first order branching temporal logic
• Quantified temporal alethic-deontic logic
• scientific article; zbMATH DE number 5734940 (Why is no real title available?)
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• Quantitative deduction and its fixpoint theory
• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• scientific article; zbMATH DE number 1163940 (Why is no real title available?)
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• Quantified Modality and Essentialism
• Doxastic logic: a new approach
• Fuzzy unification and first order probabilistic logic
• Modal Logics with Counting
• Logics with Probability Operators
• Verification in continuous time by discrete reasoning
• Keeping Semantics Pure
• scientific article; zbMATH DE number 6769394 (Why is no real title available?)
• A variant of Thomason's first-order logic CF based on situations
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Logic without metaphysics
• The Barcan formulas and necessary existence: the view from quarc
• Possible worlds in use
• Axiomatizability of propositionally quantified modal logics on relational frames
• Individual concepts: their logic, philosophy, and some of their uses
• Saul Kripke: a portrait of the modal logician as a young man
• The logic of counterpart theory with actuality
• An analysis of first-order logics of probability
• An essay in combinatory dynamic logic
• Quantified temporal alethic boulesic doxastic logic
• First-order classical modal logic
• FOIL axiomatized

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