2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Mark Kaminski, Gert Smolka
We present a simple theory explaining the construction and the correctness of an incremental and worst-case optimal decision procedure for modal logic with eventualities. The proce…