scientific article; zbMATH DE number 6476595

MaRDI QIDQ2941273zbMATH OpenFDO

Authors Andrei Rusu

Publication date 27 August 2015

zbMATH Keywords

diagonalizable algebraextensions of logicsmodal logicparametric expressibility of formulasprecomplete classes of formulas with respect to parametric expressibility

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Other algebras related to logic (03G25)

Recommendations

• Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
• scientific article; zbMATH DE number 857449
• On non-tabular m-pre-complete classes of formulas in the propositional provability logic
• scientific article; zbMATH DE number 1077209
• scientific article; zbMATH DE number 1148290
• A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
• Axiomatizations of universal classes through infinitary logic
• scientific article; zbMATH DE number 1885206
• scientific article; zbMATH DE number 1961524
• Expressive power of infinitary \([0,1]\)-logics

Cited in

(12)

• On the absence of finite approximation relative to model completeness in propositional provability logic
• On absence of finite approximation relative to model completeness in the propositional provability logic
• On non-tabular m-pre-complete classes of formulas in the propositional provability logic
• scientific article; zbMATH DE number 4081513 (Why is no real title available?)
• scientific article; zbMATH DE number 1148290 (Why is no real title available?)
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• scientific article; zbMATH DE number 857449 (Why is no real title available?)
• Completeness criteria for expressibility in a 4-valued extension of provability logic
• Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
• scientific article; zbMATH DE number 3316868 (Why is no real title available?)
• On some classes of formulas in S5 which are pre-complete relative to existential expressibility

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941273)