![USF St. Petersburg campus Faculty Publications](../../assets/md5images/52cf493c5a23b7e6ce98867c6d97d5e9.jpg)
USF St. Petersburg campus Faculty Publications
A general proof method for modal predicate logic
Document Type
Article
Publication Date
1989
ISBN
026210038X
Language
en_US
Publisher
MIT Press
Recommended Citation
Jackson, P. & Reichgelt, H. (1989). A general proof method for modal predicate logic. In P. Jackson, H. Reichgelt, & F. van Harmelen, Logic-based knowledge representation. (pp: 177-228). Cambridge, MA: MIT Press.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
COinS
Comments
Citation only. Includes bibliographical references and index. For full access, check out the book through the USF St. Petersburg Library (QA76.76.E95J34 1989), request it on interlibrary loan, or order it through a book dealer.