90 search results - page 11 / 18 » A General Semantics for Quantified Modal Logic |
CCIA
2007
Springer
14 years 1 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
ENTCS
2008
13 years 7 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...
AAAI
2011
12 years 7 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
JELIA
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
ECSQARU
2003
Springer
14 years 20 days ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...