224 search results - page 15 / 45 » Structural Operational Semantics and Modal Logic, Revisited |
ENTCS
2008
14 years 9 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
FLAIRS
2000
14 years 11 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
JAPLL
2007
14 years 9 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...