Kleene's Logic with equality

DOI10.1016/S0020-0190(01)00155-7zbMath1032.68100OpenAlexW2084806691WikidataQ128022080 ScholiaQ128022080MaRDI QIDQ1603370

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

Specification languagesFormal semanticsFormal logic

Mathematics Subject Classification ID

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

Related Items (1)

Static analysis of topology-dependent broadcast networks

Cites Work

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

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