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

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

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)

Cites Work

• Title not available (Why is that?)
• A Powerdomain Construction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-level semantics and abstract interpretation
• The λ-calculus is ω-incomplete
• Title not available (Why is that?)
• Strictness analysis and denotational abstract interpretation
• Title not available (Why is that?)
• Verifying Temporal Heap Properties Specified via Evolution Logic
• Title not available (Why is that?)
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks

Cited In (3)

• Computer Aided Verification
• Title not available (Why is that?)
• Static analysis of topology-dependent broadcast networks

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)