Axiomatizing the Monodic Fragment of |
| |
| Authors: | Bauer Sebastian |
| |
| Affiliation: | Institut für Philosophie, TU-Dresden, Zellescher Weg 17, 01069 Dresden, Germany. E-mail: s.bauer{at}vlax.de |
| |
| Abstract: | As we can show that the two-variable monadic fragment of thefull first-order extension  of the propositional branching time logic  is not recursively enumerable, we show in thisarticle that the monodic fragment of can be axiomatized. |
| |
| Keywords: | Branching time logic first-order temporal logic axiomatizability monodic fragment |
| 本文献已被 Oxford 等数据库收录！ |
|
