Semantics-Based Translation Methods for Modal Logics.

Hans Jürgen Ohlbach

Published in: J. Log. Comput. (1991)

Keyphrases

modal logic
preprocessing
significant improvement
benchmark datasets
special case
data model
computational cost
state space
programming language
incomplete information
temporal logic