The following pages link to Positive modal logic (Q1902555):
Displayed 15 items.
- 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)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Bounded lattice expansions (Q5936163) (← links)