engleski

Clusters and modes of presentation

Cluster semantics as used in the local reasoning approach (Fagin and Halpern) proves to be a promising tool for handling inconsistencies and indeterminacies in a variety of modal logics. We attempt to generalize the cluster semantics method, and combine it with a "mode of presentation" function (a variant of which is introduced by Ye and Fitting) for presenting objects in various respects. In the logic of belief, a weak sense of belief is defined, and the resulting inconsistencies (plausible for de re beliefs) can be remedied using modes of representation to model consistent de dicto beliefs. Clusters-and-modes semantics is also applicable in deontic logic, where it makes it possible to model de re inconsistent obligations. Cluster semantics has also an interesting application in temporal logic, increasing the indeterminacy of future moments of linear time.

cluster; mode of presentation; inconsistency; belief; obligation; time

Dorađena je verzija, kao i još neki radovi sa skupa, objavljena kao poglavlje u knjizi "Perspectives on Universal Logic", Monza, 2007.