224 search results - page 3 / 45 » Structural Operational Semantics and Modal Logic, Revisited |
153
Voted
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
165
Voted
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
97
Voted
LICS
2007
IEEE
16 years 2 days ago
2007
IEEE
189
Voted
TABLEAUX
2009
Springer
16 years 10 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
191
Voted
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...