Abate, Gore & Widmann, Tableaux for Predicate Dynamic Logic [26 pgs]
Tarski's World Textbook
20100926 ontology konev_lecture04
1 Model Checking, Abstractions and Reductions Orna Grumberg Computer Science Department Technion Haifa, Israel.
1 Translating from LTL to automata Book: Chapter 6.
Technion 1 (Yet another) decision procedure for Equality Logic Ofer Strichman and Orly Meir Technion.
Generating minimum transitivity constraints in P-time for deciding Equality Logic
ALCN
ALLOY
LDK R Logics for Data and Knowledge Representation Description Logics: tableaux.