294 search results - page 3 / 59 » Relational Modality |
GRC
2005
IEEE
15 years 5 months ago
2005
IEEE
100
click to vote
FLAIRS
2010
15 years 2 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....
73
Voted
EUSFLAT
2009
14 years 9 months ago
2009
TABLEAUX
2000
Springer
15 years 3 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...
118
click to vote
SLOGICA
1998
14 years 11 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 ...