scientific article
From MaRDI portal
Publication:4018068
zbMATH Open0762.68040MaRDI QIDQ4018068FDOQ4018068
Publication date: 16 January 1993
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Semantics in the theory of computing (68Q55)
Cited In (11)
- A logical semantics for depth-first Prolog with ground negation
- Title not available (Why is that?)
- Negation in the light of modal logic
- Title not available (Why is that?)
- From here to there: Stable negation in logic programming
- A rewrite mechanism for logic programs with negation
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- SOME MODEL THEORY OF GUARDED NEGATION
- A semantics for conditionals with default negation
- MOLOG: A system that extends PROLOG with modal logic
- Contributions to the stable model semantics of logic programs with negation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4018068)
