Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,765 papers from all fields of science
Search
Sign In
Create Free Account
Interpretability logic
Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Arithmetical hierarchy
Modal logic
Provability logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Refutation of Modal Completeness of Sublogics of Interpretability Logic il
C. James
2020
Corpus ID: 216219688
From interpretability logic IL (refuted elsewhere), we evaluate sublogic systems ILP (with persistence principle) and IL− (with…
Expand
2020
2020
Refutation of Interpretability Logics (2 of 5)
C. James
2020
Corpus ID: 218843460
We evaluate the lemma of three definitions of modal interpretability logic (IL) from 2008 as not tautologous, and hence refuting…
Expand
2015
2015
Improved stratigraphic interpretation using broadband processing – Sergipe Basin, Brazil
M. Saunders
,
L. Geiger
,
D. Negri
,
J. Stein
,
T. A. Sansal
,
John Springman
2015
Corpus ID: 37945877
Mike Saunders, Laurie Geiger, Dan Negri, Jaime A. Stein, T. Altay Sansal and John Springman demonstrate that de-ghosting and…
Expand
2011
2011
Bisimulation quotients of Veltman models
D. Vrgoč
,
Mladen Vukovic
Reports Math. Log.
2011
Corpus ID: 9268383
Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the…
Expand
2005
2005
The many faces of interpretability
J. Joosten
,
E. Goris
2005
Corpus ID: 17332490
In this paper we discus work in progress on interpretability logics. We show how semantical considerations have allowed us to…
Expand
2004
2004
FRIwE: fuzzy rule identification with exceptions
P. Carmona
,
J. Castro
,
J. M. Zurita
IEEE transactions on fuzzy systems
2004
Corpus ID: 5389441
In this paper, the FRIwE method is proposed to identify fuzzy models from examples. Such a method has been developed trying to…
Expand
2004
2004
Generalized Veltman models with a root
Mladen Vukovic
2004
Corpus ID: 1621388
Provability logic is a nonstandard modal logic. Interpretability logic is an extension of provability logic. Generalized Veltman…
Expand
1998
1998
interpolation and bisimulation in temporal logic
C. Areces
,
M. de Rijke
1998
Corpus ID: 15564335
Building on recent model theoretic results for Since-Until logics we define an adequate notion of bisimulation and establish…
Expand
1998
1998
The interpretability logic ILF
Mladen Vukovic
1998
Corpus ID: 17499954
In this paper we determine a characteristic class of ILsetframes for the principle F. Then we prove that the principle P is not…
Expand
1992
1992
On the Proofs of Arithmetical Completeness for Interpretability Logic
D. Zambella
Notre Dame J. Formal Log.
1992
Corpus ID: 26351827
Visser proved that ILP is the interpretability logic of any finitely axiomatizable theory containing IΔ 0 4- SUPEXP, Berarducci…
Expand