scientific article; zbMATH DE number 755666
From MaRDI portal
Publication:4698331
zbMath0855.03002MaRDI QIDQ4698331
Publication date: 15 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (only showing first 100 items - show all)
A tableau-like proof procedure for normal modal logics ⋮ Effective completeness theorems for modal logic ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Automorphisms of the lattice of classical modal logics ⋮ Investigations into quantified modal logic ⋮ On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics ⋮ Reasoning about proof and knowledge ⋮ A plea for logical objects ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ The broadest necessity ⋮ Covering-based rough sets and modal logics. I. ⋮ ``Everywhere in predicate algebra and modal logic ⋮ Covering-based rough sets and modal logics. II. ⋮ An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Chronological ignorance: Experiments in nonmonotonic temporal reasoning ⋮ Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete ⋮ A fuzzy document retrieval method based on two-valued indexing ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Formal reasoning in preference-based multiple-source rough set model ⋮ Does the deduction theorem fail for modal logic? ⋮ Adaptive logic as a modal logic ⋮ Programming in metric temporal logic ⋮ Modal quantum theory ⋮ Introspective unawareness and observable choice ⋮ The geometry of standard deontic logic ⋮ On the 3D visualisation of logical relations ⋮ Non-monotonic logic. I ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Prefixed tableaus and nested sequents ⋮ Logic programming as classical inference ⋮ Why the logical hexagon? ⋮ Synonymous logics ⋮ The single-minded pursuit of consistency and its weakness ⋮ Transductions in arithmetic ⋮ Quantified multimodal logics in simple type theory ⋮ Axiomatising the Prior future in predicate logic ⋮ The fixed point property in modal logic ⋮ Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects ⋮ Revising beliefs on the basis of evidence ⋮ Extended quantum logic ⋮ Why is there something rather than nothing? A logical investigation ⋮ A decidable multi-modal logic of context ⋮ Resolution principles in possibilistic logic ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ Proof theory for functional modal logic ⋮ Anything goes ⋮ A first-order coalition logic for BDI-agents ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ A completeness theorem for continuous predicate modal logic ⋮ An algebraic semantics of notional entailment logic Cn ⋮ A new semantics for systems of logic of essence ⋮ The modal logic of agreement and noncontingency ⋮ Algebraic neighbourhood logic ⋮ Completeness in hybrid type theory ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ Montague's theorem and modal logic ⋮ An incomplete relevant modal logic ⋮ Multiagent belief revision ⋮ Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Mirroring theorems in free logic ⋮ Modal metatheory for quantified modal logic, with and without the Barcan formulas ⋮ Structural connections between a forcing class and its modal logic ⋮ Intuitionism and the modal logic of vagueness ⋮ A note on modal logic and possibility theory ⋮ Formal reasoning with rough sets in multiple-source approximation systems ⋮ Coherence for modalities ⋮ The monodic fragment of propositional term modal logic ⋮ Interrogative belief revision based on epistemic strategies ⋮ Temporal reference in linear tense logic ⋮ Associative substitutional semantics and quantified modal logic ⋮ Carnap's theory of descriptions and its problems ⋮ Lattice-valued modal propositional logic and its completeness ⋮ Conformant plans and beyond: principles and complexity ⋮ Monadic bounded algebras ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ Closures of may-, should- and must-convergences for contextual equivalence ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ On decidability of recursive weighted logics ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ Solving the \$100 modal logic challenge ⋮ Strong completeness theorems for weak logics of common belief ⋮ Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic ⋮ A non-preferential semantics of non-monotonic modal logic ⋮ A logic for multiple-source approximation systems with distributed knowledge base ⋮ Interpretations of intuitionist logic in non-normal modal logics ⋮ Reasoning about knowledge of unawareness ⋮ Interrogative belief revision in modal logic ⋮ The formalities of temporaryism without presentness ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Combinations of tense and modality for predicate logic ⋮ Unifying quantified modal logic ⋮ Three dual ontologies ⋮ Logics for approximate entailment in ordered universes of discourse ⋮ Individual concepts in modal predicate logic ⋮ Conditional excluded middle in systems of consequential implication ⋮ A unified semantics for a family of modal logics with propositional constants ⋮ First-order modal logic with an `actually' operator
This page was built for publication:
