Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

DOI10.1093/jigpal/jzm059zbMath1134.68018OpenAlexW1991261216MaRDI QIDQ5460207

Linh Anh Nguyen

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

zbMATH Keywords

modal logicHorn logicmodel construction

Mathematics Subject Classification ID

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