Constructive dynamic logic of relation changers
From MaRDI portal
Publication:2055760
DOI10.1007/978-3-030-65840-3_9MaRDI QIDQ2055760
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-65840-3_9
intuitionistic logic; dynamic epistemic logic; complete axiomatization; bounded morphisms; relation changers
03B70: Logic in computer science