2500 search results - page 8 / 500 » Logical Semantics of Modularisation |
EUSFLAT
2009
13 years 8 months ago
2009
EPIA
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
CORR
2010
Springer
13 years 11 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...
FOSSACS
2008
Springer
14 years 13 days 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...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
