Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/161941
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Goris, Evan | - |
dc.contributor.author | Joosten, Joost J. | - |
dc.date.accessioned | 2020-05-21T14:03:21Z | - |
dc.date.available | 2020-05-21T14:03:21Z | - |
dc.date.issued | 2020-03 | - |
dc.identifier.issn | 0022-4812 | - |
dc.identifier.uri | http://hdl.handle.net/2445/161941 | - |
dc.description.abstract | The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations. The logic IL(All) is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this paper we raise the previously known lower bound of IL(All) by exhibiting two series of principles which are shown to be provable in any such theory. Moreover, we compute the collection of frame conditions for both series. | - |
dc.format.extent | 25 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Association for Symbolic Logic. | - |
dc.relation.isformatof | Versió postprint del document publicat a: https://doi.org/10.1017/jsl.2019.90 | - |
dc.relation.ispartof | Journal of Symbolic Logic, 2020, vol. 85, num. 1, p. 1-25 | - |
dc.relation.uri | https://doi.org/10.1017/jsl.2019.90 | - |
dc.rights | (c) Association for Symbolic Logic., 2020 | - |
dc.source | Articles publicats en revistes (Filosofia) | - |
dc.subject.classification | Lògica matemàtica | - |
dc.subject.classification | Aritmètica | - |
dc.subject.other | Mathematical logic | - |
dc.subject.other | Arithmetic | - |
dc.title | Two new series of principles in the interpretability logic of all reasonable arithmetical theories | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/acceptedVersion | - |
dc.identifier.idgrec | 700298 | - |
dc.date.updated | 2020-05-21T14:03:21Z | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
Appears in Collections: | Articles publicats en revistes (Filosofia) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
700298.pdf | 323.11 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.