294 search results - page 7 / 59 » Relational Modality |
AMAI
2008
Springer
14 years 10 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,...
DEON
2006
Springer
15 years 1 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original...
CONTEXT
2005
Springer
15 years 3 months ago
2005
Springer
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
AIML
2004
14 years 11 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...