The following pages link to Positive modal logic (Q1902555):
Displaying 50 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Modes of adjointness (Q484110) (← links)
- Denumerably many Post-complete normal modal logics with propositional constants (Q691130) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- Restricted arrow (Q839646) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- A new semantics for positive modal logic (Q1377550) (← links)
- Four-valued logic (Q1422105) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Stone algebras: 3-valued logic and rough sets (Q2100406) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Positive logics (Q2700818) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- A note on the model theory for positive modal logic (Q2882459) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Sahlqvist theory for impossible worlds (Q2983397) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
