Belief, provability, and logic programs

DOI10.1080/11663081.1995.10510842zbMath0820.03017OpenAlexW2082240835MaRDI QIDQ4835514

Luís Moniz Pereira, José Júlio Alferes

Publication date: 11 September 1995

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1995.10510842

zbMATH Keywords

nonmonotonic logicprovabilityepistemic logicautoepistemic logicsbeliefmodalitiessemantics for extended logic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Minimal belief and negation as failure
• Static semantics for normal and disjunctive logic programs
• The well-founded semantics for general logic programs
• Constructible falsity

Related Items (1)

Logics for belief functions on MV-algebras

This page was built for publication: Belief, provability, and logic programs