scientific article

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

modal logic frame finite model property canonical model normal modal system

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Properties of classes of models (03C52) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Categoricity and completeness of theories (03C35)

Related Items

Logic of proofs, Refutation systems in modal logic, Minimal knowledge problem: A new approach, A tableau-like proof procedure for normal modal logics, On the logic of common belief and common knowledge, Unifying default reasoning and belief revision in a modal framework, Conditional logics of normality: A modal approach, The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment, A modal reduction for partial logic, Rudimentary Kripke models for the intuitionistic propositional calculus, Cut-free sequent and tableau systems for propositional Diodorean modal logics, On the logic of event-causation. Jaśkowski-style systems of causal logic, Continuity, freeness, and filtrations, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, An algebraic theory of normal forms, Completeness results for intuitionistic and modal logic in a categorical setting, Semantics for intuitionistic epistemic logics of shallow depths for game theory, The power of the ``always operator in first-order temporal logic, A probabilistic deontic logic, European summer meeting of the Association for Symbolic Logic, Actors, actions, and initiative in normative system specification, The relationship between knowledge, belief, and certainty, Ignoring ignorance and agreeing to disagree, An approach to default reasoning based on a first-order conditional logic: Revised report, Undefinability of propositional quantifiers in the modal system S4, The recursive resolution method for modal logic, On a rule-based interpretation of default conditionals, Partial up an down logic, A set-theoretic translation method for polymodal logics, A first-order conditional logic for prototypical properties, The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems, FOIL axiomatized, The elimination of \textit{de re} formulas, A formal specification of document processing, Necessity and contingency, Modal resolution in clausal form, Dynamic extensions of arrow logic, Algebraic structures in the vicinity of pre-rough algebra and their logics. II, Honesty in partial logic, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra, A modal contrastive logic: The logic of ``but, Two incomplete anti-realist modal epistemic logics, Modal logics in the vicinity of S1, The expressive power of second-order propositional modal logic, Complexity of computing with extended propositional logic programs, A class of decidable information logics, Multi-agent logics for reasoning about higher-order upper and lower probabilities, In search of a ``true logic of knowledge: the nonmonotonic perspective, ALX, an action logic for agents with bounded rationality, Probabilistic logics with independence and confirmation, The McKinsey axiom is not compact, What is an inference rule?, Relative contingency and bimodality, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Branching versus linear logics yet again, A note on the issue of cohesiveness in canonical models, An epistemic model of logic programming, A propositional dynamic logic with qualitative probabilities, An algebraic generalization of Kripke structures, Best solving modal equations, Information closure and the sceptical objection, Logical analysis of demonic nondeterministic programs, Duality and the completeness of the modal \(\mu\)-calculus, 3-SAT = SAT for a class of normal modal logics, Algebraic structures in the vicinity of pre-rough algebra and their logics, A guide to completeness and complexity for modal logics of knowledge and belief, Brouwer-Zadeh logic, decidability and bimodal systems, A new axiomatization of unified quantum logic, On undecidability of propositional temporal logics on trace systems, A modal logic for cyclic repeating, Refining strategic ability in alternating-time temporal logic, Completeness and correspondence in Chellas-Segerberg semantics, Group knowledge is not always distributed (neither is it always implicit), Modal logic interpretation of Dempster-Shafer theory: An infinite case, Directed frames, An epistemic probabilistic logic with conditional probabilities, The logical structure of linguistic commitment. II: Systems of relevant commitment entailment, The price of universality, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic, On first-order conditional logics, PDL with intersection of programs: a complete axiomatization, A non-preferential semantics of non-monotonic modal logic, View-based explicit knowledge, Constructing fuzzy measures in expert systems, Some first-order probability logics, Many-dimensional arrow logics, Uniform semantic treatment of default and autoepistemic logics, Naming and identity in epistemic logic. II: A first-order logic for naming, In search of a ``true logic of knowledge: The nonmonotonic perspective, A Framework for Defining Logical Frameworks, Modal logic with names, A modal perspective on the computational complexity of attribute value grammar, Complete Axiomatization of a Relative Modal Logic with Composition and Intersection, Modal logics with the MacIntosh rule, Non-genuine MacIntosh logics, Modal logics for qualitative possibility theory, Rough polyadic modal logics, Rationalizing epistemic bounded rationality, On Blass translation for Leśniewski's propositional ontology and modal logics, A quantitative analysis of modal logic, Belief, provability, and logic programs, Ideal Related Algebras and Their Logics Extended Abstract, A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB, Reasoning about knowledge and conditional probability, Tableaux methods for access control in distributed systems, Infinitary S5‐Epistemic Logic, Some considerations on the logics P_FD A logic combining modality and probability, Modal logics with relative accessibility relations, Geometrical structures and modal logic, Unnamed Item, Almost duplication-free tableau calculi for prepositional lax logics, Predicate Modal Logics Do Not Mix Very Well, Defining relevant implication in a propositionally quantified S4, Multimodal Separation Logic for Reasoning About Operational Semantics, Uncompactness of stit logics containing generalized refref conditionals, A nonstandard approach to the logical omniscience problem, A nonstandard approach to the logical omniscience problem, Strongly analytic tableaux for normal modal logics, A new proof of completeness for a relative modal logic with composition and intersection, SMALL INFINITARY EPISTEMIC LOGICS, Epistemic models of shallow depths and decision making in games: Horticulture, A new proof of Sahlqvist's theorem on modal definability and completeness, Meeting of the Association for Symbolic Logic