A logico-algebraic approach to the model theory of knowledge

DOI10.1016/0304-3975(89)90135-7zbMath0687.68047OpenAlexW2065358182MaRDI QIDQ1263299

K. Appert

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90135-7

zbMATH Keywords

algebraic semanticsionsparameterless logic program schemes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Related Items

Unnamed Item

Cites Work

• Algebraic semantics
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item