research
∙
07/26/2000
Entrenchment Relations: A Uniform Approach to Nonmonotonicity
We show that Gabbay's nonmonotonic consequence relations can be reduced ...
share
research
∙
07/26/2000
Ordering-based Representations of Rational Inference
Rational inference relations were introduced by Lehmann and Magidor as t...
research
∙
07/26/2000
Modal Logics for Topological Spaces
In this thesis we shall present two logical systems, MP and MP, for the ...
research
∙
07/21/2000
To Preference via Entrenchment
We introduce a simple generalization of Gardenfors and Makinson's episte...
research
∙
07/21/2000
Knowledge on Treelike Spaces
This paper presents a bimodal logic for reasoning about knowledge during...
research
∙
03/08/2000