Games and Bisimulations for Intuitionistic First-Order Kripke Models
Crossref DOI link: https://doi.org/10.1007/s11225-020-09932-z
Published Online: 2021-01-18
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kruszelnicka, MaĆgorzata http://orcid.org/0000-0001-7566-6251
Text and Data Mining valid from 2021-01-18
Version of Record valid from 2021-01-18
Article History
Accepted: 19 November 2020
First Online: 18 January 2021