scientific article; zbMATH DE number 868094

zbMATH Open0843.03009MaRDI QIDQ4873977FDOQ4873977

Authors: Yde Venema 

Publication date: 21 April 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

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)