2500 search results - page 8 / 500 » Logical Semantics of Modularisation |
66
Voted
EUSFLAT
2009
14 years 8 months ago
2009
EPIA
2001
Springer
15 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
14 years 10 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
15 years 2 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
15 years 10 months ago
2006
Springer
