Logical equations in monadic logic

DOI10.1007/S10958-009-9400-8zbMath1190.03014OpenAlexW2047303415MaRDI QIDQ843613

N. E. Zubov

Publication date: 15 January 2010

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-009-9400-8

zbMATH Keywords

normal formmonadic formula

Mathematics Subject Classification ID

Classical first-order logic (03B10) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

On the implication of properties of related systems: a method for obtaining implication conditions and application examples

Cites Work

• Best solving modal equations
• Solvable cases of the decision problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical equations in monadic logic