LOGCOM
2000
13 years 4 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 4 months ago
2000
LOGCOM
2000
13 years 4 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 4 months ago
2000
LOGCOM
2000
13 years 4 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 4 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 4 months ago
2000