Tableau Development for a Bi-Intuitionistic Tense Logic
Authors: John Stell, Renate A. Schmidt and David Rydeheard
Paper Information
| Title: | Tableau Development for a Bi-Intuitionistic Tense Logic |
| Authors: | John Stell, Renate A. Schmidt and David Rydeheard |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | intuitionistic logic, modal logic, tableau |
| Abstract: | ABSTRACT. Motivated by the theory of relations on graphs and applications to spatial reasoning, we present a bi-intuitionistic logic BISKT with tense operators. The logic is shown to be decidable and have the effective finite model property. We present a sound, complete and terminating tableau calculus for the logic and use the MetTeL system to generate an implementation. |
| Pages: | 0 |
| Talk: | Jul 23 17:30 |
| Paper: |  |