The following pages link to (Q3086937):
Displaying 15 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)
- A coalgebraic view on positive modal logic (Q703528) (← 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)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses (Q3100209) (← links)
- A mechanized proof system of the third generation calculus in Coq (Q5064241) (← links)
- Rough and Near: Modal History of Two Theories (Q5082210) (← links)
- (Q5101351) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)