scientific article; zbMATH DE number 1028833

zbMath0875.03048MaRDI QIDQ4342096

Publication date: 8 July 1997

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

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

Related Items

Refutational theorem proving for hierarchic first-order theories, Rudimentary Kripke models for the intuitionistic propositional calculus, Bisimulation for Feller-Dynkin processes, MEREOLOGICAL BIMODAL LOGICS, Towards automating duality, The undecidability of quantified announcements, Convenient category of processes and simulations I: Modulo strong bisimilarity, Hennessy-Milner and van Benthem for instantial neighbourhood logic, An algebraic characterization of observational equivalence, Geometric Model Checking of Continuous Space, Exploiting the normative aspect of preference: A deontic logic without actions, Predicate transformers as power operations, Topology and duality in modal logic, Unnamed Item, A modal logic for supervised learning, Directions in generalized quantifier theory, Connectionist modal logic: representing modalities in neural networks, The power of temporal proofs, Boolean algebras arising from information systems, Towards reasoning about Hoare relations, A class of decidable information logics, Programming in metric temporal logic, Typology of axioms for a weighted modal logic, Logic of knowledge and utterance and the liar, Definability in the class of all -frames – computability and complexity, To be announced, Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices, Discrete dualities for some algebras with relations, Squares in fork arrow logic, A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}, Non-monotonic reasoning via dynamic consequence, The Ackermann approach for modal logic, correspondence theory and second-order reduction, Bisimulation, games, and logic, Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA, Factor varieties, Tableaux methods for access control in distributed systems, Mathematical modal logic: A view of its evolution, Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics, Some descending chains of incomplete modal logics, On fork arrow logic and its expressive power, Intelligent agents in the Situation Calculus: An application to user modelling, Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals, Logical analysis of demonic nondeterministic programs, A Road to Ultrafilter Extensions, Petri nets and bisimulation, 3-SAT = SAT for a class of normal modal logics, Rough set reasoning using answer set programs, Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic, Graph aggregation, \(R\)-generability, and definability in branching time logics, A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics, Unnamed Item, A modal logic for cyclic repeating, First-Order Resolution Methods for Modal Logics, On bisimulations for description logics, The genesis of hi-worlds: towards a principle-based possible world semantics, Moral conflicts between groups of agents, An intriguing logic with two implicational connectives, On the computational complexity of bisimulation, redux, A coalgebraic presentation of structured transition systems, Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, Expressive power and semantic completeness: Boolean connectives in modal logic, Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs, First-order expressivity for S5-models: Modal vs. two-sorted languages, Verification of dynamic bisimulation theorems in Coq, Model checking for hybrid branching-time logics, Power structures, MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION, The actual future is open, Unnamed Item, Displaying and deciding substructural logics. I: Logics with contraposition, Modal languages and bounded fragments of predicate logic, Modal correspondence for models, A general possible worlds framework for reasoning about knowledge and belief, Key notions of Tarski's methodology of deductive systems, A proof system for contact relation algebras, Deciding regular grammar logics with converse through first-order logic, Rough sets determined by quasiorders, Modal logic with names, Possible worlds semantics: a research program that cannot fail?, An essay in combinatory dynamic logic, Proof analysis in modal logic