Cited in
(14)- Mechanizing multi-agent reasoning with belief contexts
- Partition-based logical reasoning for first-order and propositional theories
- Multilanguage hierarchical logics, or: How we can do without modal logics
- BREAKUP
- SPTHEO
- ABSFOL
- Cambridge LCF
- Embedding complex decision procedures inside an interactive theorem prover.
- ABSFOL: A proof checker with abstraction
- Structured proof procedures
- A metatheory of a mechanized object theory
- A theory of abstraction
- Program tactics and logic tactics
- Logic-based subsumption architecture
This page was built for software: GETFOL
