Publication:4342097
From MaRDI portal
zbMath0875.03050MaRDI QIDQ4342097
Publication date: 8 July 1997
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Fuzzy unification and first order probabilistic logic, A variant of Thomason's first-order logic CF based on situations, First-order expressivity for S5-models: Modal vs. two-sorted languages, An analysis of first-order logics of probability, An essay in combinatory dynamic logic, First-order classical modal logic, FOIL axiomatized, 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, 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, An approach to infinitary temporal proof theory, Naming and identity in epistemic logic. II: A first-order logic for naming, 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, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, A modal reduction for partial logic, Multimodal logic programming, Axiomatising first-order temporal logic: Until and since over linear time, Unnamed Item, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
