The following pages link to (Q4385438):
Displayed 10 items.
- Weak negation in inquisitive semantics (Q302218) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Importing logics (Q694499) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- A History of Until (Q3185767) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)