A Kripkean semantics for dynamic logic programming

DOI10.1007/3-540-44404-1_30MaRDI QIDQ2767039zbMATH OpenFDO

Authors Jan Šefránek

Publication date 22 July 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44404-1_30

zbMATH Keywords

dynamic Kripke structuredynamic logic programmingknowledge evolutionknowledge representation and reasoningKripke structurenonmonotonic reasoningstable modelupdates

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A kripke-kleene semantics for logic programs*
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 4197948
• Kripke semantics for knowledge representation logics
• The refinement extension principle for semantics of dynamic logic programming
• An interactive semantics of logic programming
• An implementation of Kripke-Kleene semantics
• A natural deduction approach to dynamic logic
• Propositional dynamic logic with program quantifiers
• Dynamic predicates in functional logic programs

Cited in

(5)

• An implementation of Kripke-Kleene semantics
• Introducing reactive Kripke semantics and arc accessibility
• The refinement extension principle for semantics of dynamic logic programming
• Observational Semantics for Dynamic Logic with Binders
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: A Kripkean semantics for dynamic logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767039)