A bisimulation characterization for interpretability logic

&
Logic Journal of the IGPL 22 (6):872-879 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu015

Links

PhilArchive



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

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

Bisimulations and bisimulation quotients of generalized Veltman models.Domagoj Vrgoč & Mladen Vuković - 2010 - Logic Journal of the IGPL 18 (6):870-880.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.
Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The Closed Fragment of the Interpretability Logic of PRA with a Constant for.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
A Short Note on Essentially Σ1 Sentences.Franco Montagna & Duccio Pianigiani - 2013 - Logica Universalis 7 (1):103-111.
On the axiom of extensionality in the positive set theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
Action emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.
Action emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,377,350)

6 months
4 (#783,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Filtrations of generalized Veltman models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.

Add more citations

References found in this work

No references found.

Add more references