A Fixpoint Semantics for Ordered Logic

DOI10.1093/logcom/1.2.159zbMath0723.68068OpenAlexW2026953979MaRDI QIDQ3210906

Dirk Vermeir, Els Laenens

Publication date: 1990

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.2.159

zbMATH Keywords

object-oriented programming languagesordered logicfixedpoint semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (6)

A system for defeasible argumentation, with defeasible priorities ⋮ Logic programming semantics made easy ⋮ Argument-based extended logic programming with defeasible priorities ⋮ Nested abnormality theories ⋮ An authorization model and its formal semantics ⋮ Well-founded semantics and stratification for ordered logic programs

This page was built for publication: A Fixpoint Semantics for Ordered Logic