73
Voted
LOGCOM
2006
15 years 5 days ago
2006
94
Voted
LOGCOM
2006
15 years 5 days ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
94
Voted
LOGCOM
2006
15 years 5 days ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
110
Voted
LOGCOM
2006
15 years 5 days ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
101
click to vote
LOGCOM
2006
15 years 5 days ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
79
Voted
LOGCOM
2006
15 years 5 days ago
2006
68
Voted
LOGCOM
2006
15 years 5 days ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
69
Voted
LOGCOM
2006
15 years 5 days ago
2006
93
Voted
LOGCOM
2006
15 years 5 days ago
2006
Starting from a decomposition result of MTL-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. ...
98
Voted
LOGCOM
2006
15 years 5 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...