Multi-type display calculus for propositional dynamic logic

DOI10.1093/logcom/exu064zbMath1403.03025arXiv1805.09144OpenAlexW2102609718MaRDI QIDQ2957976

Could not fetch data.

Publication date: 31 January 2017

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.09144

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.