A Modal Logic for Quantification and Substitution

DOI10.1093/jigpal/2.1.31zbMath0810.03012OpenAlexW1966415058MaRDI QIDQ4318161

Yde Venema

Publication date: 20 April 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26322

zbMATH Keywords

completenesssemanticsequational theorycomplex algebrasmodal algebrasderivation rulespolyadic equality algebras\(n\)-variable fragment of first order logiccylindric mirror modal logiclogic with finitely many variables

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ Hybrid logics: characterization, interpolation and complexity ⋮ Weakly higher order cylindric algebras and finite axiomatization of the representables

This page was built for publication: A Modal Logic for Quantification and Substitution