294 search results - page 3 / 59 » Relational Modality |
GRC
2005
IEEE
14 years 22 days ago
2005
IEEE
FLAIRS
2010
13 years 9 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
EUSFLAT
2009
13 years 4 months ago
2009
TABLEAUX
2000
Springer
13 years 10 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
SLOGICA
1998
13 years 6 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...