Modal definability: two commuting equivalence relations

DOI10.1007/s11787-022-00299-4OpenAlexW4210917383MaRDI QIDQ2169131

Yana Rumenova, Tinko Tinchev

Publication date: 1 September 2022

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

Full work available at URL: https://doi.org/10.1007/s11787-022-00299-4

zbMATH Keywords

undecidabilitycorrespondence theorymodal definabilitycommuting equivalence relationsrelative elementary definability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)

Cites Work

• Certain logical reduction and decision problems
• Many-dimensional modal logics: theory and applications
• Undecidable problems for modal definability: Table 1.
• Second-order logic on equivalence relations
• Finite Model Theory
• Undecidability of some simple formalized theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal definability: two commuting equivalence relations