scientific article; zbMATH DE number 1303433

MaRDI QIDQ4250042zbMATH OpenFDO

Authors Maarten Marx, Yde Venema

Publication date 19 July 1999

zbMATH Keywords

\(n\)-variable fragment of first-order logicexistential quantifiersgeneralized assignment framesKripke modelslocal cubesmodal diamondsmodal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A Modal Logic for Quantification and Substitution
• scientific article; zbMATH DE number 868094
• scientific article; zbMATH DE number 1841824
• scientific article; zbMATH DE number 834561

Cited in

(18)

• On the relationship between one-point frames and degrees of unsatisfiability of modal formulas
• A decidable temporal logic of parallelism
• The modal logic of the countable random frame
• The one-variable fragment of corsi logic
• Decidable fragments of first-order modal logics
• A Modal Logic for Quantification and Substitution
• scientific article; zbMATH DE number 1047511 (Why is no real title available?)
• Taming first-order logic
• scientific article; zbMATH DE number 1841824 (Why is no real title available?)
• Modal Logics Between Propositional and First-order
• Cylindric modal logic
• scientific article; zbMATH DE number 834561 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 868094 (Why is no real title available?)
• scientific article; zbMATH DE number 1418444 (Why is no real title available?)
• Binding forms in first-order logic
• Algebraic semantics for one-variable lattice-valued logics
• On modal logics of model-theoretic relations

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