|
|||||
|
|
Formalizing action and change in modal logic I: the frame problem |
|
| Authors: | Castilho MA; Gasquet O; Herzig A |
| Affiliation: | A1 Université Paul Sabatier, IRIT, 118 route de Narbonne, F-31062 Toulouse Cedex, France E-mail: castilho@irit.fr A2 E-mail: gasquet@irit.fr A3 E-mail: herzig@irit.fr |
| Abstract: | |
| Keywords: | Reasoning about actions modal logic frame problem dependence semantic tableaux |
| 本文献已被 Oxford 等数据库收录！ | |