Labelled Model Modal Logic
| Author(s) : | Guido Governatori Alberto Artosi, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | There is no agreement among researchers in the area of automated deduction about which features (besides computational efficiency) a suitable theorem proving system for non-classical (in particular modal) logics should have. In our opinion, such a system should (A) avoid ad hoc manipulation of the modal formulas; (B) provide a simple and uniform treatment of a wide variety of modal, |