Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
Crossref DOI link: https://doi.org/10.1007/s11225-021-09975-w
Published Online: 2022-01-03
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
de Groot, Jim http://orcid.org/0000-0003-1375-6758
Text and Data Mining valid from 2022-01-03
Version of Record valid from 2022-01-03
Article History
Received: 10 March 2021
Accepted: 21 October 2021
First Online: 3 January 2022