×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [modal logics]
Home >
modal logics
From desires, obligations and norms to goals
676 views
Edward N. Zalta - Basic Concepts in Modal Logic
86 views
back-matter
31 views
Theory Generation for Security Protocols
725 views
OpenHPI 5.1 - Description Logics - ALC
386 views
Model Checking Lecture 1. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
217 views
NorduNet 2008 Helsinki.April 2008 Olaf Owe, Cristian Prisacariu,, Gerardo Schneider, Oslo University Seif Haridi, Pablo Giambiagi, Swedish Institute of.
218 views
Maude .:° ASCENS 2011
1.301 views
Presentation Slides - Theory Generation for Security Protocols
459 views
Meghyn slides-hse-2014
266 views
Math63032modal
42 views
First Order Logic
216 views
Next >