A Benchmark Method for the Propositional Modal Logics K, KT, S4.

Peter Balsiger Alain Heuerding Stefan Schwendimann

Published in: J. Autom. Reason. (2000)

Keyphrases

significant improvement
detection method
modal logic
dynamic programming
probabilistic model
high accuracy
similarity measure
preprocessing
cost function