Basic logic, k4, and persistence

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


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.



    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.


Added to PP

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