A Note on Linear Kripke Models

descriptionPublicationkeyboard_double_arrow_right Article 01 Aug 2005 English Publisher:Oxford University Press (OUP)Journal:Journal of Logic and Computation, volume 15, pages 489-506 (issn: 0955-792X, eissn: 1465-363X,

Copyright policy )

Authors: Rosalie Iemhoff;

doi: 10.1093/logcom/exi031

A Note on Linear Kripke Models

- Summary
- Subjects
- Metrics

Abstract

Summary: Gödel logics correspond to linear models with constant domains. In this paper other truth-value logics, Scott logics, are defined, that correspond to linear models with possibly non-constant domains. An extension of intuitionistic logic with an existence predicate is discussed, and it is shown that this provides a natural translation of Scott logics into Gödel logics extended by this predicate.

Related Organizations

TU Wien
Austria

Keywords

Scott logics, Many-valued logic, Kripke models, linear frames, Gödel logics, Intermediate logics, extension of intuitionistic logic with an existence predicate

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	7
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average