Transition Logic Revisited

DOI10.1093/JIGPAL/JZN009zbMATH Open1156.68047OpenAlexW2127112387MaRDI QIDQ3535602FDOQ3535602

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

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

zbMATH Keywords

Horn logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)