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)
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 ⋮ Tableau systems for some Ivlev-like (quantified) modal logics ⋮ 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 ⋮ Axiomatizability of propositionally quantified modal logics on relational frames ⋮ Natural kind semantics for a classical essentialist theory of kinds ⋮ \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity ⋮ Modal logic and planarity of graphs ⋮ Proof-theoretic results of common sense modal predicate calculi ⋮ Quantified modal logics: one approach to rule (almost) them all! ⋮ On undecidability of the propositional logic of an associative binary modality ⋮ Reasoning with rules and rights: term-modal deontic logic ⋮ An \(\omega\)-rule for the logic of provability and its models ⋮ A Boolean-algebraic approach to completeness for normal modal predicate logics ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ An Application of Paraconsistent Logic to Physics: Complementarity ⋮ Non-normal super-strict implications ⋮ 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 ⋮ 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
This page was built for publication:
