17054 search results - page 106 / 3411 » Logics of Dynamical Systems |
131
Voted
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
128
click to vote
APAL
2006
15 years 4 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
217
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
148
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
140
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...