3394 search results - page 159 / 679 » A Modal Model of Memory |
123
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
133
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
123
Voted
DEON
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
164
click to vote
HAID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Haptic data visualization is a growing research area. It conveys information using the sense of touch which can help visually impaired people or be useful when other moda...
123
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...