ML-1998-13: Canonical Pseudo-Correspondence

ML-1998-13: Venema, Yde (1998) Canonical Pseudo-Correspondence. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (73kB)
[thumbnail of Abstract] Text (Abstract)

Download (428B)


Generalizing an example from Fine and inspired by a theorem in Jonsson, we
prove that any modal formula of the form \pi(p \or q) \iff \pi(p) \or \pi(q)
(with \pi(p) a positive formula) is canonical. We also prove that any such
formula is strongly sound and complete with respect to an elementary class
of frames, definable by a first order formula which can be read off from \pi.

Item Type: Report
Report Nr: ML-1998-13
Series Name: Mathematical Logic and Foundations (ML)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item