797 search results - page 49 / 160 » Logics with an existential modality |
128
Voted
CSL
1995
Springer
15 years 4 months ago
1995
Springer
We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more efficient decisi...
88
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
127
Voted
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
89
Voted
CSL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
AAAI
2007
15 years 3 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...