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

Data publikacji: 10 gru 2014

Zakres stron: 247 - 255

Otrzymano: 01 lis 2013

Przyjęty: 01 lut 2014

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

Słowa kluczowe

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.