Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
From MaRDI portal
Publication:5460207
DOI10.1093/jigpal/jzm059zbMath1134.68018OpenAlexW1991261216MaRDI QIDQ5460207
Publication date: 5 May 2008
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzm059
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17)
Related Items (3)
Finitary S5-Theories ⋮ Unnamed Item ⋮ Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
This page was built for publication: Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics