342 search results - page 9 / 69 » Coalgebraic Symbolic Semantics |
ENTCS
2007
13 years 8 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
ENTCS
2008
13 years 8 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...
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...