The following pages link to (Q3086937):
Displayed 10 items.
- Weak negation in inquisitive semantics (Q302218) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Refinement modal logic (Q476194) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- Rough and Near: Modal History of Two Theories (Q5082210) (← links)
- (Q5101351) (← links)