Transition Logic Revisited

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

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)

Related Items (5)

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

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)