<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In the present paper we consider a non-tabular extension <italic>L</italic> of the well-known propositional provability logic <italic>GL</italic> together with the notion of parametric expressibility of formulas in a logic proposed by A. V. Kuznetsov. We prove that there are infinitely many precomplete with respect to parametric expressibility classes of formulas in the above mentioned logic <italic>L</italic>.</p></abstract>

In the present paper we consider a non-tabular extension L of the well-known propositional provability logic GL together with the notion of parametric expressibility of formulas in a logic proposed by A. V. Kuznetsov. We prove that there are infinitely many precomplete with respect to parametric expressibility classes of formulas in the above mentioned logic L.

Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions

Department of Mathematics and Computer Science, Ovidius University of Constanta, Bdul Mamaia 124, 900527 Constanţa, România.

Information Society Development Institute, Academy of Sciences of Moldova, Str. Academiei 5A, MD2028 Chişinău, Republica Moldova.

Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

In the present paper we consider a non-tabular extension L of the well-known propositional provability logic GL together with the notion of parametric...

Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions

Published Online: Dec 10, 2014

Page range: 247 - 255

Received: Nov 01, 2013

Accepted: Feb 01, 2014

DOI: https://doi.org/10.2478/auom-2014-0020

Keywords
parametric expressibility of formulas, modal logic, diagonalizable algebra, precomplete classes of formulas with respect to parametric expressibility, extensions of logics

© 2014 Andrei Rusu

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions

Published Online: Dec 10, 2014

Page range: 247 - 255

Received: Nov 01, 2013

Accepted: Feb 01, 2014

DOI: https://doi.org/10.2478/auom-2014-0020

Keywordsparametric expressibility of formulas, modal logic, diagonalizable algebra, precomplete classes of formulas with respect to parametric expressibility, extensions of logics

© 2014 Andrei Rusu

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Keywords
parametric expressibility of formulas, modal logic, diagonalizable algebra, precomplete classes of formulas with respect to parametric expressibility, extensions of logics