Logic of ``classes and binary relations models: I

MaRDI QIDQ1387015zbMATH OpenFDO

Authors G. S. Plesnevich

Publication date 19 October 1998

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Logic of ``class binary relation models. II
• scientific article; zbMATH DE number 1182733
• Systems of logical relations as models of object domains
• scientific article; zbMATH DE number 1348742

Cited in

(7)

• On conceptual model specification and verification
• Systems of logical relations as models of object domains
• Logic of ``class binary relation models. II
• A formalization of the Binary Object-Role Model based on logic
• scientific article; zbMATH DE number 2080623 (Why is no real title available?)
• scientific article; zbMATH DE number 2200787 (Why is no real title available?)
• Ontological Constitutions for Classes and Properties

This page was built for publication: Logic of ``classes and binary relations models: I

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