607 search results - page 4 / 122 » Axiomatizing hybrid logic using modal logic |
JANCL
2002
13 years 7 months ago
2002
In [8, 6] we introduced a family of `modal' languages intended for talking about distances. These languages are interpreted in `distance spaces' which satisfy some (or a...
KR
2004
Springer
14 years 23 days ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
MLQ
2010
13 years 5 months ago
2010
FLAIRS
2006
13 years 8 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...