Kleene's Logic with equality

DOI10.1016/S0020-0190(01)00155-7zbMATH Open1032.68100OpenAlexW2084806691WikidataQ128022080 ScholiaQ128022080MaRDI QIDQ1603370FDOQ1603370

Authors R. Smith 

Publication date 14 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(01)00155-7

zbMATH Keywords

Formal semanticsSpecification languagesFormal logic

Mathematics Subject Classification ID

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

Recommendations

• A kripke-kleene semantics for logic programs*
• Kleene's Logic, Generalized
• Functional interdependence of regular Kleene logics
• On Hoare logic and Kleene algebra with tests
• Logic of Plotkin continuous domain

Cites work

• scientific article; zbMATH DE number 1629945 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 3490449 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Powerdomain Construction
• Strictness analysis and denotational abstract interpretation
• The λ-calculus is ω-incomplete
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• Two-level semantics and abstract interpretation
• Verifying Temporal Heap Properties Specified via Evolution Logic

Cited in

(3)

• scientific article; zbMATH DE number 1858070 (Why is no real title available?)
• Static analysis of topology-dependent broadcast networks
• Computer Aided Verification

This page was built for publication: Kleene's Logic with equality

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