scientific article; zbMATH DE number 7360013

MaRDI QIDQ4993769zbMATH OpenFDO

Authors

Publication date 16 June 2021

Full work available at URL https://www.fmi.uni-sofia.bg/en/node/6759

zbMATH Keywords

decidabilityelimination of second-order quantifiersequivalence relationsfinite model propertyMSO sentences

Mathematics Subject Classification ID

Higher-order logic (03B16) Decidability of theories and sets of sentences (03B25)

Recommendations

• Second-order logic on equivalence relations
• Monadic Second Order Logic And Its Fragments
• scientific article; zbMATH DE number 2079025
• Logical equations in monadic logic
• Second-order propositional modal logic and monadic alternation hierarchies
• Asymptotic Monadic Second-Order Logic
• Quantitative Monadic Second-Order Logic
• scientific article; zbMATH DE number 2038747

Cited in

(9)

• Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
• Relations in monadic third-order logic
• Asymptotic Monadic Second-Order Logic
• Fusion in relational structures and the verification of monadic second-order properties
• Second-order logic on equivalence relations
• Quantitative Monadic Second-Order Logic
• On the completeness and the decidability of strictly monadic second‐order logic
• Logical equations in monadic logic
• Pure second-order logic with second-order identity

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