Undecidable problems for modal definability: Table 1.

DOI10.1093/logcom/exv094zbMath1444.03043OpenAlexW2589822456MaRDI QIDQ2983400

Philippe Balbiani, Tinko Tinchev

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv094

zbMATH Keywords

modal logicfirst-order logiccomputabilitymodal definabilityChagrova's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Modal definability: two commuting equivalence relations ⋮ Definability in the class of all -frames – computability and complexity

This page was built for publication: Undecidable problems for modal definability: Table 1.