2 search results - page 1 / 1 » Transfer Results for Hybrid Logic. Part I: The Case Without ... |
LOGCOM
2006
13 years 4 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
ATAL
2007
Springer
13 years 8 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...