Skip to the main content

Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, No. 519=18, 2014.

Original scientific paper

Interpretability logic IL does not have finite subtree property

Vedran Čačić orcid id orcid.org/0000-0003-2330-9740 ; Department of Mathematics, University of Zagreb, Zagreb, Croatia
Mladen Vuković orcid id orcid.org/0000-0002-3829-9859 ; Department of Mathematics, University of Zagreb, Zagreb, Croatia

Full text: english pdf 148 Kb

page 1-5

downloads: 724

cite

Abstract

Usually, when a logic has finite model property (fmp), it
also has a stronger, finite submodel property: every model can be reduced to a finite submodel. Or, at least, it has a finite subtree property, which is restricted to models that are trees. We prove that interpretability logic IL does not have finite subtree property.

Keywords

Interpretability logic; Veltman models; finite model property

Hrčak ID:

127633

URI

https://hrcak.srce.hr/127633

Publication date:

30.9.2014.

Visits: 1.426 *