LOGCOM
2000
13 years 11 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
LOGCOM
2000
13 years 11 months ago
2000
LOGCOM
2000
13 years 11 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...
LOGCOM
2000
13 years 11 months ago
2000
LOGCOM
2000
13 years 11 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
LOGCOM
2000
13 years 11 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
LOGCOM
2000
13 years 11 months ago
2000