scientific article; zbMATH DE number 868094

MaRDI QIDQ4873977zbMATH OpenFDO

Authors Yde Venema

Publication date 21 April 1996

zbMATH Keywords

framessemanticscompletenessmodal algebrascomplex algebrasderivation rulespolyadic equality algebras\(n\)-variable fragment of first order logiccylindric mirror modal logiclogic with finitely many variablesfirst order logic with substitution

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• A Modal Logic for Quantification and Substitution
• scientific article; zbMATH DE number 1303433
• Cylindric modal logic

Cited in

(6)

• A Modal Logic for Quantification and Substitution
• Cylindric modal logic
• Modal languages and bounded fragments of predicate logic
• A Categorical Aspect of the Analogy Between Quantifiers and Modalities
• On the multi-dimensional modal logic of substitutions
• Nominal substitution at work with the global and converse modalities

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 Q4873977)