On Minimal Models

DOI10.1093/JIGPAL/JZM037zbMath1132.03012OpenAlexW2126075047MaRDI QIDQ5436989

Ana Teresa Martins, Francicleber Martins Ferreira

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d0c484d333469d35725753af0d022d372f428c15

zbMATH Keywords

fixed pointsminimal modelsexpressiveness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Model theory of finite structures (03C13)

This page was built for publication: On Minimal Models