scientific article; zbMATH DE number 868094

zbMath0843.03009MaRDI QIDQ4873977

Yde Venema

Publication date: 21 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessframessemanticscomplex algebrasmodal 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)

Related Items (2)

A Categorical Aspect of the Analogy Between Quantifiers and Modalities ⋮ Modal languages and bounded fragments of predicate logic

This page was built for publication: