The following pages link to GETFOL (Q38038):
Displayed 10 items.
- Logic-based subsumption architecture (Q814558) (← links)
- A theory of abstraction (Q1199923) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- Structured proof procedures (Q1924823) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
- ABSFOL: A proof checker with abstraction (Q4647506) (← links)