Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
Crossref DOI link: https://doi.org/10.1007/s11787-021-00270-9
Published Online: 2021-03-13
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fan, Jie
Text and Data Mining valid from 2021-03-13
Version of Record valid from 2021-03-13
Article History
Received: 5 March 2020
Accepted: 2 February 2021
First Online: 13 March 2021