Transition Logic Revisited

DOI10.1093/JIGPAL/JZN009MaRDI QIDQ3535602zbMATH OpenOpenAlexFDO

Authors Wolfgang Bibel

Publication date 13 November 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/011c19713f0135603d11a1763719e47ec5e28a51

zbMATH Keywords

Horn logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Let's plan it deductively!
• An overview of transaction logic
• scientific article; zbMATH DE number 1453058
• scientific article; zbMATH DE number 1536548
• Semantic aspects of transitional composition-nominative modal logics

Cited in

(5)

• Thompson transformations for IF-logic
• Logic of transition systems
• Tiling transactions in rewriting logic
• Transitive Separation Logic
• Labelled transition logic: An outline

This page was built for publication: Transition Logic Revisited

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