A hybrid qualitative approach for relative movements

DOI10.1093/jigpal/jzv012zbMath1407.68466OpenAlexW1981317313MaRDI QIDQ4644518

Emilio Muñoz-Velasco, Joanna Golińska-Pilarek

Publication date: 8 January 2019

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzv012

zbMATH Keywords

qualitative reasoningpropositional dynamic logicrelational logicsdual tableau systemsrelative movement

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

This page was built for publication: A hybrid qualitative approach for relative movements