MSPASS is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for the relational calculus. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Hustadt, U., & Schmidt, R. A. (2000). MSPASS: Modal reasoning by translation and first-order resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1847 LNAI, pp. 67–71). https://doi.org/10.1007/10722086_7
Mendeley helps you to discover research relevant for your work.