The following pages link to MetTeL (Q23924):
Displaying 15 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Axiomatizing discrete spatial relations (Q1617812) (← links)
- The higher-order prover Leo-III (Q1799072) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Automating automated reasoning. The case of two generic automated reasoning tools (Q2185494) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ (Q2851945) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603) (← links)
- Theorem Provers For Every Normal Modal Logic (Q4645724) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
