The top documents tagged [modal logics]
back-matter
35 views
Theory Generation for Security Protocols
729 views
OpenHPI 5.1 - Description Logics - ALC
413 views
Maude .:° ASCENS 2011
1.306 views
Handbook of Tableau Methods
149 views
Meghyn slides-hse-2014
266 views
Math63032modal
43 views