-
An automated modal logic for elementary changesIn Philippe Smets (ed.), Non-standard logics for automated reasoning, Academic Press. 1988.
-
57A translation from the modal logic of provability into K4Journal of Applied Non-Classical Logics 4 (1): 73-77. 1994.No abstract.
