You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

On the Compactness Theorem of Propositional Temporal Logics

Article type: Research Article

Authors: Leischner, Martin

Affiliations: Institut für Informatik der Universität München, Theresienstr. 39, 8000 München 2, Germany

Abstract: For a semantics SEM of a logical language L an associated semantics SEMˆ is constructed by topological means such that the compactness theorem is true in SEMˆ. The formulas in L, which are valid with respect to SEM, are identical to the formulas which are valid with respect to SEMˆ. The concepts developed in the paper are illustrated by examples from the field of propositional temporal logics.

DOI: 10.3233/FI-1992-16103

Journal: Fundamenta Informaticae, vol. 16, no. 1, pp. 39-57, 1992

Published: 1 January 1992
Price: EUR 27.50
Show more