Localizing finite-depth Kripke models

Logic Journal of the IGPL 27 (3):239-251 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy036

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

On the Modal Definability of Simulability by Finite Transitive Models.David Fernández Duque - 2011 - Studia Logica 98 (3):347-373.
Strong completeness with respect to finite kripke models.Wiesław Dziobiak - 1981 - Studia Logica 40 (3):249-252.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Neighbourhood semantics and generalized Kripke models.Bernd Dahn - 1976 - Bulletin of the Section of Logic 5 (1):2-7.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Kripke semantics for provability logic GLP.Lev D. Beklemishev - 2010 - Annals of Pure and Applied Logic 161 (6):756-774.
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
Partially-Elementary Extension Kripke Models: A Characterization and Applications.Tomasz Połacik - 2006 - Logic Journal of the IGPL 14 (1):73-86.
Intuitionistic axiomatizations for bounded extension Kripke models.Mohammad Ardeshir, Wim Ruitenburg & Saeed Salehi - 2003 - Annals of Pure and Applied Logic 124 (1-3):267-285.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
$\mathbb{Z}$-graded Lie superalgebras of infinite depth and finite growth.Nicoletta Cantarini - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):545-568.
Finite Kripke models of HA are locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.
Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
A note on bisimulations of finite Kripke models.Ma Lgorzata Kruszelnicka - 2012 - Bulletin of the Section of Logic 41 (3/4):185-198.

Analytics

Added to PP
2018-09-14

Downloads
19 (#781,160)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Fragments of Heyting arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Submodels of Kripke Models.Albert Visser - 2002 - Bulletin of Symbolic Logic 8 (3):440-441.

View all 8 references / Add more references