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

Publié en ligne: 10 déc. 2014

Pages: 247 - 255

Reçu: 01 nov. 2013

Accepté: 01 févr. 2014

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

Mots clés

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.