scientific article; zbMATH DE number 868094

MaRDI QIDQ4873977zbMATH OpenFDO

Authors Yde Venema

Publication date 21 April 1996

zbMATH Keywords

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

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

(7)

• Modal languages and bounded fragments of predicate logic
• Nominal substitution at work with the global and converse modalities
• scientific article; zbMATH DE number 1303433 (Why is no real title available?)
• A Modal Logic for Quantification and Substitution
• Cylindric modal logic
• On the multi-dimensional modal logic of substitutions
• A Categorical Aspect of the Analogy Between Quantifiers and 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)