158 search results - page 1 / 32 » Conservative extensions in modal logic |
57
Voted
AIML
2006
14 years 11 months ago
2006
AMAI
2008
Springer
14 years 9 months ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
102
click to vote
ICLP
2004
Springer
15 years 2 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...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
85
Voted
AIML
2006
14 years 11 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...