Resolution Theorem Proving in Reified Model Logics
This paper is concerned with the application of the resolution theorem proving method to reified logics. The logical systems treated include the branching temporal logics and logics of belief based on K and its extensions. Two important problems concerning the application of the resolution rule to r...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1994.
|
| Subjects: | |
| Online Access: | Get fulltext |