Basic logic, k4, and persistence

Studia Logica 63 (3):343-352 (1999)
  Copy   BIBTEX

Abstract

We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Personality and persistence: The many faces of personal survival.Marya Schechtman - 2004 - American Philosophical Quarterly 41 (2):87-106.
Problems with persistence.Nicholas Asher - 1994 - Topoi 13 (1):37-49.
Object persistence in philosophy and psychology.Brian J. Scholl - 2007 - Mind and Language 22 (5):563–591.
Persistence.Christian Kanzian (ed.) - 2007 - Ontos.

Analytics

Added to PP
2009-01-28

Downloads
58 (#277,875)

6 months
10 (#275,239)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.

Add more citations

References found in this work

No references found.

Add more references