17054 search results - page 159 / 3411 » Logics of Dynamical Systems |
184
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
214
Voted
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
195
Voted
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
174
click to vote
BSL
2008
15 years 7 months ago
2008
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
290
Voted
GIS
2004
ACM
16 years 8 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...