Natural Frames and Self-dual Logics

• Autorzy: Jennings R.E.
• Języki publikacji: EN

Abstrakty

EN

The paper revisits a class of model structures introduced by the author in 1974, with particular attention to the system SCon, which axiomatizes the universal class. SCon, which independently deserves notice as an algebraically plausible weakest modal system, is self-dual; that is, its \square and \lozenge have the same logic. The paper gives a semantic analysis of the system on model structures capable of an axiological interpretation, presenting a number of determination- and correspondence-theoretic results. Some intriguing consequences of self-duality for the axiological interpretation of natural frames are discussed.

Słowa kluczowe

EN

model structures; natural frame; self-duality

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 2,3
• Strony: 227--236
• Opis fizyczny: bibliogr. 3 poz.

Twórcy

autor

Jennings R.E.

• Laboratory for Logic and Experimental Philosophy Simon Fraser University Burnaby, British Columbia, Canada,