All normal extensions of S5-squared are finitely axiomatizable

DOI10.1007/S11225-004-6044-ZzbMath1069.03010OpenAlexW2094617595MaRDI QIDQ1770622

Nick Bezhanishvili, I. M. Hodkinson

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/4095474/41076_191083n.pdf

zbMATH Keywords

modal logicfinite axiomatizationNP-completenessbetter-quasi-orderingpoly-size model property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (3)

A logic of ``black box classifier systems ⋮ The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete

Cites Work

• Many-dimensional modal logics: theory and applications
• Varieties of two-dimensional cylindric algebras. I: Diagonal-free case.
• All proper normal extensions of S5-square have the polynomial size model property
• Varieties of two-dimensional cylindric algebras. II
• Prefinitely axiomatizable modal and intermediate logics
• On the Decision Problem for Two-Variable First-Order Logic
• Ordering by Divisibility in Abstract Algebras
• Partial well‐ordering of sets of vectors
• Two-dimensional modal logic

This page was built for publication: All normal extensions of S5-squared are finitely axiomatizable