A Modal Logic for Quantification and Substitution

DOI10.1093/JIGPAL/2.1.31MaRDI QIDQ4318161zbMATH OpenOpenAlexFDO

Authors Yde Venema

Publication date 20 April 1995

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

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

zbMATH Keywords

\(n\)-variable fragment of first order logiccompletenesscomplex algebrascylindric mirror modal logicderivation rulesequational theorylogic with finitely many variablesmodal algebraspolyadic equality algebrassemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 868094
• scientific article; zbMATH DE number 1303433
• scientific article; zbMATH DE number 1303428
• Cylindric modal logic
• Generalized quantifiers and modal logic

Cited in

(9)

• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Hybrid logics: Characterization, interpolation and complexity
• Nominal substitution at work with the global and converse modalities
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• scientific article; zbMATH DE number 1303433 (Why is no real title available?)
• scientific article; zbMATH DE number 1867302 (Why is no real title available?)
• Cylindric modal logic
• scientific article; zbMATH DE number 868094 (Why is no real title available?)
• On the multi-dimensional modal logic of substitutions

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

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