A Fixpoint Semantics for Ordered Logic

DOI10.1093/LOGCOM/1.2.159MaRDI QIDQ3210906zbMATH OpenOpenAlexFDO

Authors Els Laenens, Dirk Vermeir

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

fixedpoint semanticsobject-oriented programming languagesordered logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1795986
• Axiomatizing fixpoint logics
• Fixed-point extensions of first-order logic
• Ordering protoalgebraic logics
• Well-founded semantics and stratification for ordered logic programs
• CONCUR 2004 - Concurrency Theory
• Fixed Point Logics
• Answer set semantics for ordered logic programs
• Order algebraizable logics
• scientific article; zbMATH DE number 1324435

Cited in

(16)

• Well-founded semantics and stratification for ordered logic programs
• Nested abnormality theories
• A generalization of ordered-pair semantics
• Ordering protoalgebraic logics
• Argument-based extended logic programming with defeasible priorities
• Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models
• scientific article; zbMATH DE number 67965 (Why is no real title available?)
• Ordered Logic Programming with Sets
• Efficient evaluation of a class of ordered logic programs
• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• A system for defeasible argumentation, with defeasible priorities
• Order-dual relational semantics for non-distributive propositional logics
• Logic programming semantics made easy
• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• Answer set semantics for ordered logic programs
• An authorization model and its formal semantics

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

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