On Logics and Semantics for Interpretability

Bulletin of Symbolic Logic 28 (2):265-265 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2022.3

Links

PhilArchive



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

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

Interpretability logics and generalised Veltman semantics.Luka Mikec & Mladen Vuković - 2020 - Journal of Symbolic Logic 85 (2):749-772.
Complexity of the interpretability logics ILW and ILP.Luka Mikec - 2023 - Logic Journal of the IGPL 31 (1):194-213.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Interpretations of Weak Positive Modal Logics.Katalin Bimbó - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 13-38.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
The Poset of All Logics I: Interpretations and Lattice Structure.R. Jansana & T. Moraschini - 2021 - Journal of Symbolic Logic 86 (3):935-964.
Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.
Bisimulations between generalized Veltman models and Veltman models.Mladen Vuković - 2008 - Mathematical Logic Quarterly 54 (4):368-373.
Two new series of principles in the interpretability logic of all reasonable arithmetical theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):435-456.
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.
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.

Analytics

Added to PP
2022-06-28

Downloads
14 (#934,671)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Complexity of the interpretability logics ILW and ILP.Luka Mikec - 2023 - Logic Journal of the IGPL 31 (1):194-213.

Add more citations

References found in this work

No references found.

Add more references