2573 search results - page 139 / 515 » Combinations of Modal Logics |
135
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
155
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
117
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...
134
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
127
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...