scientific article; zbMATH DE number 868092

MaRDI QIDQ4873975zbMATH OpenFDO

Authors István Németi

Publication date 5 December 1996

zbMATH Keywords

arrow logiccylindric algebrasequational theorymosaics methodproof-theoretic approachrelation algebrasversions of first-order logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Proof theory in general (including proof-theoretic semantics) (03F03) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 35403
• On varieties of cylindric algebras with applications to logic
• Decidability of cylindric set algebras of dimension two and first-order logic with two variables
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• scientific article; zbMATH DE number 1303433

Cited in

(15)

• The complexity of the temporal logic with ``until over general linear time
• The finitely axiomatizable complete theories of non-associative arrow frames
• First order logic without equality on relativized semantics
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• Cylindric algebras and finite polyadic algebras
• Atoms in infinite dimensional free sequence-set algebras
• Synthesis for continuous time
• On a new semantics for first-order predicate logic
• Guards, bounds, and generalized semantics
• Changing a Semantics: Opportunism or Courage?
• scientific article; zbMATH DE number 887303 (Why is no real title available?)
• Decidability of cylindric set algebras of dimension two and first-order logic with two variables
• Temporal logic of Minkowski spacetime
• The complexity of temporal logic over the reals
• 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 Q4873975)