Sciweavers

90
Voted
AIML
2008
14 years 11 months ago
Labelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
Guido Governatori