Abstract
We give a definition of bisimulation for conditional modalities interpreted on selection functions and prove the correspondence between bisimilarity and modal equivalence, generalizing the Hennessy–Milner Theorem to a wide class of conditional operators. We further investigate the operators and semantics to which these results apply. First, we show how to derive a solid notion of bisimulation for conditional belief, behaving as desired both on plausibility models and on evidence models. These novel definitions of bisimulations are exploited in a series of undefinability results. Second, we treat relativized common knowledge, underlining how the same results still hold for a different modality in a different semantics. Third, we show the flexibility of the approach by generalizing it to multi-agent systems, encompassing the case of multi-agent plausibility models.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Andersen, M. B., T. Bolander, and M. H. Jensen, Don’t plan for the unexpected: Planning based on plausibility models, Logique et Analyse 1:1, 2014.
Andersen, M. B., T. Bolander, H. van Ditmarsch, and M. H. Jensen, Bisimulation for single-agent plausibility models, in S. Cranefield, and A. Nayak (eds.), AI 2013: Advances in Artificial Intelligence, vol. 8272 of Lecture Notes in Computer Science, Springer International Publishing, New York, 2013, pp. 277–288.
Andersen, M. B., T. Bolander, H. van Ditmarsch, and M. H. Jensen, Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief, Synthese 1–41, 2016.
Baltag, A., and S. Smets, Conditional doxastic models: A qualitative approach to dynamic belief revision, Electronic Notes in Theoretical Computer Science 165:5–21, 2006.
Baltag, A., and S. Smets, A qualitative theory of dynamic interactive belief revision, in M. Woolridge, G. Bonanno, and W. van der Hoek, (eds.), Texts in Logic and Games, vol. 3, Amsterdam University Press, Amsterdam, 2008, pp. 9–58.
van Benthem, J., Dynamic logic for belief revision, Journal of Applied Non-Classical Logics 17(2):129–155, 2007.
van Benthem, J., Tracking information, in K. Bimbo, (ed.), J. Michael Dunn on Information Based Logics, Springer, Dordrecht, 2016, pp. 363–389.
van Benthem, J., and E. Pacuit, Dynamic logics of evidence-based beliefs, Studia Logica 99(1–3):61–92, 2011.
van Benthem, J., J. van Eijck, and B. Kooi, Logics of communication and change, Information and Computation 204(11):1620–1662, 2006.
Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, vol. 53, Cambridge University Press, Cambridge, 2002.
Board, O., Dynamic interactive epistemology, Games and Economic Behavior 49(1):49–80, 2004.
Chellas, B. F., Basic conditional logic, Journal of Philosophical Logic 4(2):133–153, 1975.
Demey, L., Some remarks on the model theory of epistemic plausibility models, Journal of Applied Non-Classical Logics 21(3–4):375–395, 2011.
Demey, L., Looking for the right notion of epistemic plausibility model, Logic, Philosophy and History of Science in Belgium II. Proceedings of the Young Researchers Days 2010, 2012, pp. 73–78 .
van Eijck, J., Update, Probability, Knowledge and Belief, 2015. Draft available from http://homepages.cwi.nl/~jve/papers/15/pdfs/upkb.pdf.
van Eijck, J., and F. Schwarzentruber, Epistemic probability logic simplified, Advances in Modal Logic 10:158–177, 2014.
Gabbay, D. M., Theoretical Foundations for Non-monotonic Reasoning in Expert Systems, Springer, Berlin, 1985.
Grove, A., Two modellings for theory change, Journal of Philosophical Logic 17(2):157–170, 1988.
Halpern, J. Y., Reasoning about uncertainty, vol. 21, MIT Press Cambridge, 2003.
Kooi, B. P., Knowledge, Chance, and Change, PhD thesis, Groningen University, 2003.
Kraus, S., D. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44(1):167–207, 1990.
Lewis, D., Counterfactuals, Harvard University Press, Boston, 1973.
Stalnaker, R. C., A theory of conditionals, in N. Rescher, (ed.), Studies in logical theory, Blackwell, Oxford, 1968.
Urquhart, A., Semantics for relevant logics, The Journal of Symbolic Logic 37(01):159–169, 1972.
Veltman, F., Logic for Conditionals, PhD thesis, University of Amsterdam, 1985.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Baltag, A., Cinà, G. Bisimulation for Conditional Modalities. Stud Logica 106, 1–33 (2018). https://doi.org/10.1007/s11225-017-9723-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9723-2