2500 search results - page 8 / 500 » Logical Semantics of Modularisation |
87
Voted
EUSFLAT
2009
15 years 2 days ago
2009
116
click to vote
EPIA
2001
Springer
15 years 6 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...
102
click to vote
CORR
2010
Springer
15 years 2 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...
121
click to vote
FOSSACS
2008
Springer
15 years 3 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...
CADE
2006
Springer
16 years 2 months ago
2006
Springer
