129
Voted
LOGCOM
2000
15 years 17 days 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...
79
Voted
LOGCOM
2000
15 years 17 days ago
2000
107
Voted
LOGCOM
2000
15 years 17 days 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 ...
73
Voted
LOGCOM
2000
15 years 17 days ago
2000
101
Voted
LOGCOM
2000
15 years 17 days 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...
76
Voted
LOGCOM
2000
15 years 17 days 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...
82
Voted
LOGCOM
2000
15 years 17 days ago
2000