Positive modal logic
From MaRDI portal
Publication:1902555
DOI10.1007/BF01061239zbMath0831.03007MaRDI QIDQ1902555
Publication date: 18 February 1996
Published in: Studia Logica (Search for Journal in Brave)
possible worldscompletenessmodal algebrasKripke-style semanticscounter-theoryminimal normal modal logic
Related Items
QUANTIFIED MODAL RELEVANT LOGICS, Negative modalities, consistency and determinedness, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Linear Logic Properly Displayed, On the deductive system of the order of an equationally orderable quasivariety, Restricted arrow, ON EQUATIONAL COMPLETENESS THEOREMS, Hennessy-Milner and van Benthem for instantial neighbourhood logic, Coalgebraic Geometric Logic: Basic Theory, Automated theorem proving by resolution in non-classical logics, Monotone subintuitionistic logic: duality and transfer results, COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, A new semantics for positive modal logic, Coalgebraic completeness-via-canonicity for distributive substructural logics, Duality for modal \(\mu\)-logics, The strong version of a sentential logic, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Sequent systems for negative modalities, First-degree entailment and its relatives, Proof systems for Moss' coalgebraic logic, Remarks on hyperspaces for Priestley spaces, Algorithmic correspondence and canonicity for distributive modal logic, Varieties of Relevant S5, Relational semantics for normal topological quasi-Boolean logic, AN ESCAPE FROM VARDANYAN’S THEOREM, Neighbourhood semantics for modal relevant logics, Modalities in the Stone age: a comparison of coalgebraic logics, Complete Abstractions and Subclassical Modal Logics, Positive modal logic beyond distributivity, On the positive fragment of the polymodal provability logic GLP, Proof theory for functional modal logic, Four-valued logic, Modes of adjointness, Truth, Falsehood, Information and Beyond: The American Plan Generalized, Mereocompactness and Duality for Mereotopological Spaces, First-Degree Entailment and Structural Reasoning, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Positive monotone modal logic, An intriguing logic with two implicational connectives, Coalgebraic Completeness-via-Canonicity, Bounded lattice expansions, A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC, A coalgebraic view on positive modal logic, A Sahlqvist theorem for distributive modal logic, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, Algorithmic correspondence and canonicity for non-distributive logics, Axiomatization of crisp Gödel modal logic, On Displaying Negative Modalities, A general framework for FDE-based modal logics, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Unnamed Item, Learning in a Changing World, an Algebraic Modal Logical Approach, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, The decidability of the intensional fragment of classical linear logic, Hilbert-style axiomatization of first-degree entailment and a family of its extensions, Lambek calculus with conjugates, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS, A Semantic Analysis of Stone and Dual Stone Negations with Regularity, Autoreferential semantics for many-valued modal logics, Completeness and incompleteness for anodic modal logics, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Unnamed Item, Stone algebras: 3-valued logic and rough sets, Interpretations of Weak Positive Modal Logics, Negation in the context of gaggle theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof methods for modal and intuitionistic logics
- Quantification and RM
- A topological representation theory for lattices
- Kripke models for linear logic
- On modal systems having arithmetical interpretations
- On 2nd order intuitionistic propositional calculus with full comprehension
- Algebraic semantics for modal logics I
