Path calculus in the modal logic S4 |
| |
Authors: | S Norgėla |
| |
Institution: | (1) Vilnius University, Naugarduko 24, LT-03225 Vilnius, Lithuania |
| |
Abstract: | We describe the tableau and inverse calculi for the propositional modal logic S4. The formulas are treated as sets of paths. We obtain the upper bound for the number of applications of rules in the deduction tree.__________Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 117–126, January–March, 2005.Translated by R. Lapinskas |
| |
Keywords: | modal logic S4 tableau method inverse method |
本文献已被 SpringerLink 等数据库收录! |
|