An implementation of Kripke-Kleene semantics

DOI10.1016/S0020-0255(97)10068-8zbMATH Open0934.68057MaRDI QIDQ1292578FDOQ1292578

Authors: Faye F. Liu, Douglas H. Moore 

Publication date: 22 June 1999

Published in: Information Sciences (Search for Journal in Brave)

Recommendations

• A kripke-kleene semantics for logic programs*
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 1696783
• scientific article; zbMATH DE number 4147552
• Publication:4941889

zbMATH Keywords

Kripke-Kleene semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A kripke-kleene semantics for logic programs*

Cited In (6)

• Making assumptions in the automated derivation
• Title not available (Why is that?)
• A kripke-kleene semantics for logic programs*
• An extensional Kleene realizability semantics for the Minimalist Foundation
• Introducing reactive Kripke semantics and arc accessibility
• A semantic approach for web reasoning

This page was built for publication: An implementation of Kripke-Kleene semantics

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