Publication:4342097
From MaRDI portal
zbMath0875.03050MaRDI QIDQ4342097
Publication date: 8 July 1997
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Keeping Semantics Pure, Quantified temporal alethic boulesic doxastic logic, A modal reduction for partial logic, Fuzzy unification and first order probabilistic logic, Exploiting the normative aspect of preference: A deontic logic without actions, Normal predicative logics with graded modalities, First-order classical modal logic, FOIL axiomatized, The power of temporal proofs, The expressive power of second-order propositional modal logic, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, Verification in continuous time by discrete reasoning, Two-sorted metric temporal logics, Specification of abstract dynamic-data types: A temporal logic approach, Distributed first order logic, Logic without metaphysics, The Barcan formulas and necessary existence: the view from quarc, How to Lewis a Kripke-Hintikka, Possible worlds in use, Quantified temporal alethic-deontic logic, Investigations on Fragments of First Order Branching Temporal Logic, Using temporal logics to express search control knowledge for planning, Doxastic logic: a new approach, Partly free semantics for some Anderson-like ontological proofs, A Hilbert-style axiomatisation for equational hybrid logic, An approach to infinitary temporal proof theory, A variant of Thomason's first-order logic CF based on situations, `Now' and `then' in tense logic, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, Multimodal logic programming, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, A modified subformula property for the modal logic KC4, First-order expressivity for S5-models: Modal vs. two-sorted languages, The logic of counterpart theory with actuality, A logic characterized by the class of connected models with nested domains, An analysis of first-order logics of probability, On first-order conditional logics, Reaching agreements through argumentation: a logical model and implementation, Axiomatising first-order temporal logic: Until and since over linear time, Some first-order probability logics, Decidable fragments of first-order temporal logics, Naming and identity in epistemic logic. II: A first-order logic for naming, An essay in combinatory dynamic logic, Logics with Probability Operators
