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
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 ⋮ On the logic of theory change: Partial meet contraction and revision functions ⋮ Towards a First-Order Deontic Action Logic ⋮ Barcan Both Ways ⋮ The sound and complete R-calculus for revising propositional theories ⋮ Evaluations of epistemic components for resolving the muddy children puzzle ⋮ Tensed mereology ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic ⋮ Ontological argument and infinity in Spinoza's thought ⋮ Subjective reasoning -- dynamic games ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ A deep inference system for the modal logic S5 ⋮ On a rule-based interpretation of default conditionals ⋮ Generalizing deontic action logic ⋮ SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Reflections on Fourteen Cryptic Issues Concerning the Nature of Statistical Inference* ⋮ Some implicative topological quasi-Boolean algebras and rough set models ⋮ An application of temporal projection to interleaving concurrency ⋮ A Modal Logic of Knowledge, Belief, and Estimation ⋮ Retracted article: ``A completeness theorem for continuous predicate modal logic ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE ⋮ Interface of Rough Set Systems and Modal Logics: A Survey ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ A note on Barcan formula ⋮ Rosser provability and normal modal logics ⋮ On K-modal BL-logics ⋮ Neighbourhood semantics for modal relevant logics ⋮ Counterpart theories for everyone ⋮ On base radical and semisimple classes defined by class operators ⋮ Non-Boolean classical relevant logics. I ⋮ A henkin-style completeness proof for the modal logic S5 ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ A note on the issue of cohesiveness in canonical models ⋮ Lattice-valued modal propositional logic based on M-lattice implication algebras ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ SLAP: specification logic of actions with probability ⋮ Identity, equality, nameability and completeness. Part II ⋮ Mereology in Engineering and Computer Science ⋮ Knowing-Who in Quantified Epistemic Logic ⋮ Abductive reasoning in neural-symbolic systems ⋮ New Modification of the Subformula Property for a Modal Logic ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Fibring: completeness preservation ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ An intrinsic topology for orthomodular lattices ⋮ A note on the complexity of S4.2 ⋮ Relating Truth, Knowledge and Belief in Epistemic States ⋮ A proof-theoretic study of the correspondence of classical logic and modal logic ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ Unawareness with ``possible possible worlds ⋮ Approximations of modal logics: \(\mathbf K\) and beyond ⋮ Decidable fragments of first-order modal logics ⋮ Dugundji's theorem revisited ⋮ A Grim semantics for logics of belief ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS ⋮ Probabilistic behaviours of reactive agents ⋮ Forcing in Proof Theory ⋮ On modal logic of deductive closure ⋮ Strict identity with no overlap ⋮ Action and knowledge in alternating-time temporal logic ⋮ Some Rough Consequence Logics and their Interrelations ⋮ Unnamed Item ⋮ Multimodal logic programming ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Unnamed Item ⋮ Worlds and times ⋮ Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ THE MODAL LOGIC OF INNER MODELS ⋮ Conditional Probability Logic over Conditional Probability Spaces ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Unnamed Item ⋮ A unified completeness theorem for quantified modal logics ⋮ A Proof System with Bounded Non-determinism in Database Transformations ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Axiomatization of some basic and modal Boolean connexive logics ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ The logic of qualitative probability ⋮ The modalμ-calculus hierarchy over restricted classes of transition systems ⋮ An axiomatization of PCTL* ⋮ A Classical Logic of Existence and Essence ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic ⋮ Rosser provability and the second incompleteness theorem ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5} ⋮ Decidability of a Hybrid Duration Calculus ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity ⋮ Rationalizing epistemic bounded rationality ⋮ An update logic for information systems ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Relevance-Sensitive Truth-Trees ⋮ Keeping Semantics Pure ⋮ Differential Game Logic ⋮ Power and Limits of Structural Display Rules ⋮ Automated Kantian ethics: a faithful implementation ⋮ The logic of action and control ⋮ Axiomatizing a minimal discussive logic ⋮ Potentiality and Contradiction in Quantum Mechanics ⋮ Negative Modalities in the Light of Paraconsistency ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ Two morals about a modal paradox ⋮ Proof by Assumption of the Possible in Prior Analytics, 1.15; How Not to Blend Modal Frameworks ⋮ Are bundles good deals for first-order modal logic? ⋮ Proof systems for super-strict implication ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ Quasi-Boolean based models in rough set theory: a case of covering ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ A modified subformula property for the modal logic KG1 ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ C. I. Lewis's intensional semantics ⋮ Geometric modal logic ⋮ Mathematical modality: an investigation in higher-order logic ⋮ Multimodal Separation Logic for Reasoning About Operational Semantics ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION ⋮ PROVING UNPROVABILITY ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Completeness and decidability results for some propositional modal logics containing ``actually operators ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ A note on the modal and temporal logics for \(n\)-dimensional spacetime ⋮ Indexed actuality ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ An Application of Paraconsistent Logic to Physics: Complementarity ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ A Modified Subformula Property for the Modal Logic S4.2 ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ A Formal Semantics for SPKI ⋮ Aristotelian and Duality Relations Beyond the Square of Opposition
