711 search results - page 18 / 143 » Modal Logics are Coalgebraic |
JSYML
2008
14 years 10 months ago
2008
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke...
ENTCS
2010
14 years 10 months ago
2010
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
AISC
1998
Springer
15 years 2 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
APAL
2005
14 years 10 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...