205 search results - page 25 / 41 » Higher-Order Coalition Logic |
TARK
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
ENTCS
2010
13 years 10 months ago
2010
ENTCS
2006
13 years 10 months ago
2006
ECSQARU
2007
Springer
14 years 4 months ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...