Abstract
We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.
Citation
Frank Wolter. "A Counterexample in Tense Logic." Notre Dame J. Formal Logic 37 (2) 167 - 173, Spring 1996. https://doi.org/10.1305/ndjfl/1040046085
Information
Published: Spring 1996
First available in Project Euclid: 16 December 2002
zbMATH: 0866.03007
MathSciNet: MR1403816
Digital Object Identifier: 10.1305/ndjfl/1040046085
Subjects:
Primary:
03B45
Rights: Copyright © 1996 University of Notre Dame