354 search results - page 1 / 71 » Modal and Temporal Logics for Processes |
BANFF
1995
13 years 8 months ago
1995
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
ICTL
1994
13 years 8 months ago
1994
This paper presents a temporal belief logic called
LOGCOM
2007
13 years 4 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...