332 search results - page 3 / 67 » Many-valued hybrid logic |
ENTCS
2011
12 years 8 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
CADE
2002
Springer
14 years 5 months ago
2002
Springer
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...