LOGCOM
2006
13 years 4 months ago
2006
LOGCOM
2006
13 years 4 months 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 ...
LOGCOM
2006
13 years 4 months 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...
LOGCOM
2006
13 years 4 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
LOGCOM
2006
13 years 4 months 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 ...
LOGCOM
2006
13 years 4 months ago
2006
LOGCOM
2006
13 years 4 months 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...
LOGCOM
2006
13 years 4 months ago
2006
LOGCOM
2006
13 years 4 months 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. ...
LOGCOM
2006
13 years 4 months 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...