On the proof-theory of two formalisations of modal first-order logic (Q622627): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-010-9294-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2095441824 / rank | |||
Normal rank |
Revision as of 23:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the proof-theory of two formalisations of modal first-order logic |
scientific article |
Statements
On the proof-theory of two formalisations of modal first-order logic (English)
0 references
3 February 2011
0 references
Tourlakis and Kibedi introduced some modal first-order logics for a modal interpretation of the provability of classical logic. In this paper, a Gentzen-style sequential calculus is provided for them, and shown to enjoy the cut-elimination property. The modal logics, which have been given in a Hilbert-style axiomatization, are shown to be translatable into the Gentzen system (repspectively in different ways), so that the results obtained model-theoretically in the former works are reconstructed by proof-theoretical means. It is also proved that the form of ``weak reflection'', one of the results thus obtained, is as strong as possible.
0 references
modal first-order logic
0 references
sequent calculus
0 references
cut-elimination
0 references
reflection theorem
0 references
modal interpretation of provability
0 references