Grigori F. Shvarts
-
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Decision Procedure for Temporal Logic of Belief and Actions
Informatica
Inverse Images of Box Formulas in Modal Logic
Studia Logica