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

Publicado en línea: 10 dic 2014

Páginas: 247 - 255

Recibido: 01 nov 2013

Aceptado: 01 feb 2014

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

Palabras clave

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.