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: 94,070

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

Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour, eds. Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir.[author unknown] - 2021 - Philosophia Mathematica 29 (3):451-452.
Extensions of Kripke models.Mostafa Zaare - 2017 - Logic Journal of the IGPL 25 (5):697-699.
Cut-free sequent calculi for logics characterized by finite linear Kripke frames.Naosuke Matsuda - 2017 - Logic Journal of the IGPL 25 (5):686-696.
From forcing to satisfaction in Kripke models of intuitionistic predicate logic.Maryam Abiri, Morteza Moniri & Mostafa Zaare - 2018 - Logic Journal of the IGPL 26 (5):464-474.
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
A note on bisimulations of finite Kripke models.Ma Lgorzata Kruszelnicka - 2012 - Bulletin of the Section of Logic 41 (3/4):185-198.
Finite Kripke models of HA are locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.
Partially-Elementary Extension Kripke Models: A Characterization and Applications.Tomasz Połacik - 2006 - Logic Journal of the IGPL 14 (1):73-86.
Strong completeness with respect to finite kripke models.Wiesław Dziobiak - 1981 - Studia Logica 40 (3):249-252.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.

Analytics

Added to PP
2018-09-14

Downloads
20 (#760,815)

6 months
8 (#505,344)

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 & Dirk Van Dalen - 1988 - Amsterdam: North Holland. 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