The following pages link to (Q4235432):
Displayed 7 items.
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics (Q6172067) (← links)