@inproceedings{77a84ec0e2bd4cafa5d6e2deb941e1db,
title = "Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic",
abstract = "Bi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect to disjunction. Our main result is a Hennessy-Milner property for bi-intuitionistic logic interpreted over certain classes of Kripke models. We generalise this to obtain a corresponding result for modal bi-intuitionistic logic. Our main technical tools are a categorical duality between (modal) descriptive Kripke frames and (modal) bi-Heyting algebras, and the use of behavioural equivalence.",
keywords = "Bi-intuitionistic logic, Bisimulation, Hennessy-Milner property, Modal logic",
author = "{de Groot}, Jim and Dirk Pattinson",
note = "Publisher Copyright: {\textcopyright} 2019, Springer-Verlag GmbH Germany, part of Springer Nature.; 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 ; Conference date: 02-07-2019 Through 05-07-2019",
year = "2019",
doi = "10.1007/978-3-662-59533-6_10",
language = "English",
isbn = "9783662595329",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "161--176",
editor = "Rosalie Iemhoff and Michael Moortgat and {de Queiroz}, Ruy",
booktitle = "Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings",
address = "Germany",
}