scientific article; zbMATH DE number 1047511

MaRDI QIDQ4349288zbMATH OpenFDO

Authors István Németi

Publication date 22 December 1997

zbMATH Keywords

cylindric algebrafirst-order logicmodal logicpolyadic algebrasquare frame

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Taming first-order logic
• Cylindric modal logic
• scientific article; zbMATH DE number 1303433

Cited in

(11)

• Idealization in applied first-order logic
• Guards, bounds, and generalized semantics
• Epsilon-logic is more expressive than first-order logic over finite structures
• Fundamental significance of the finitary and infinitary semantic layers and characterization of the expressive power of first-order logic
• scientific article; zbMATH DE number 638619 (Why is no real title available?)
• AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES
• scientific article; zbMATH DE number 1440090 (Why is no real title available?)
• scientific article; zbMATH DE number 3893196 (Why is no real title available?)
• A Categorical Aspect of the Analogy Between Quantifiers and Modalities
• INTERLEAVING LOGIC AND COUNTING
• A version of predicate logic with two variables that has an incompleteness property

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