On axiomatising products of Kripke frames

DOI10.2307/2586578zbMath0963.03027OpenAlexW1976530497MaRDI QIDQ4508270

Ágnes Kurucz

Publication date: 17 June 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586578

zbMATH Keywords

ultraproductfirst-order definabilityfinite axiomatizabilitymany-dimensional modal logicproduct of Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (4)

On modal logics betweenK × K × KandS5 × S5 × S5 ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ An extension of Kracht's theorem to generalized Sahlqvist formulas

Cites Work

• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Some kinds of modal completeness
• Modal languages and bounded fragments of predicate logic
• Varieties of complex algebras
• Complete representations in algebraic logic
• Products of modal logics, part 1
• A multi-dimensional terminological knowledge representation language
• Two-dimensional modal logic

This page was built for publication: On axiomatising products of Kripke frames