Skip to main content
SpringerLink
Log in

Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We investigate bisimulations for instantial neighbourhood logic and an \(\omega \)-indexed collection of its fragments. For each of these logics we give a Hennessy-Milner theorem and a Van Benthem-style characterisation theorem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abriola, S., M. Descotte, and S. Figueira, Model theory of XPath on data trees. Part II: Binary bisimulation and definability, Information and Computation 255:195–223, 2017.

  2. Aczel, P., Non-well-founded Sets, CSLI Publications, Stanford, 1988.

    Google Scholar 

  3. Badia, G., Bi-simulating in bi-intuitionistic logic, Studia Logica 104:1037–1050, 2016.

  4. Benthem, J. van, Modal Correspondence Theory, Ph.D. thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976.

  5. Benthem, J. van, Correspondence theory, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Springer Netherlands, Dordrecht, 1984, pp. 167–247.

    Chapter  Google Scholar 

  6. Benthem, J. van, N. Bezhanishvili, and S. Enqvist, A new game equivalence, its logic and algebra, Journal of Philosophical Logic 48(4):649–684, 2019.

  7. Benthem, J. van, N. Bezhanishvili, and S. Enqvist, A propositional dynamic logic for instantial neighbourhood semantics, Studia Logica 107(4):719–751, 2019.

  8. Benthem, J. van, N. Bezhanishvili, S. Enqvist, and J. Yu, Instantial neighbourhood logic, Review of Symbolic Logic 10(1):116–144, 2017.

    Article  Google Scholar 

  9. Bezhanishvili, N., S. Enqvist, and J. de Groot, Duality for instantial neighbourhood logic via coalgebra, in D. Petrişan, and J. Rot, (eds.), Proc. CMCS 2020, Springer International Publishing, Cham, 2020, pp. 32–54.

  10. Bezhanishvili, N., J. de Groot, and Y. Venema, Coalgebraic geometric logic, in M. Roggenbach, and A. Sokolova, (eds.), Proc. CALCO 2019, vol. 139 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2019, pp. 7:1–7:18.

  11. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.

    Google Scholar 

  12. Carreiro, F., PDL is the bisimulation-invariant fragment of weak chain logic, in Proc. LICS 2015, IEEE Computer Society, USA, 2015, pp. 341–352.

  13. Cate, B. ten, D. Gabelaia, and D. Sustretov, Modal languages for topology: Expressivity and definability, Annals of Pure and Applied Logic 159(1–2):146–170, 2009.

    Article  Google Scholar 

  14. Cate, B. ten, G. Fontaine, and T. Litak, Some modal aspects of XPath, Journal of Applied Non-Classical Logics 20:139–171, 2010.

    Article  Google Scholar 

  15. Celani, S. A., and R. Jansana, A new semantics for positive modal logic, Notre Dame Journal of Formal Logic 38(1):1–19, 1997.

    Article  Google Scholar 

  16. Celani, S. A., and R. Jansana, Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic, Logic Journal of the IGPL 7:683–715, 1999.

    Article  Google Scholar 

  17. Chang, C., and H. Keisler, Model Theory, Elsevier, North-Holland, 1973.

    Google Scholar 

  18. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

    Book  Google Scholar 

  19. Dunn, J. M., Positive modal logic, Studia Logica 55:301–317, 1995.

    Article  Google Scholar 

  20. Enqvist, S., Homomorphisms of coalgebras from predicate liftings, in Proc. CALCO 2013, Springer, 2013, pp. 126–140.

  21. Enqvist, S., F. Seifan, and Y. Venema, Completeness for-\(\mu \)calculi: a coalgebraic approach, Annals of Pure and Applied Logic 170:578–641, 2019.

  22. Figueira, D., S. Figueira, and C. Areces, Model theory of XPath on data trees. Part I: Bisimulation and characterization, Journal of Artificial Intelligence Research 53:271–314, 2015.

  23. Flum, J., and M. Ziegler, Topological Model Theory, vol. 769 of Lecture Notes in Mathematics, Springer Verlag, 1980.

  24. Gorín, D., and L. Schröder, Simulations and bisimulations for coalgebraic modal logics, in R. Heckel, and S. Milius, (eds.), Proc. CALCO 2013, Springer, 2013, pp. 253–266.

  25. Groot, J. de, and D. Pattinson, Hennessy-Milner properties for (modal) bi-intuitionistic logic, in R. Iemhoff, M. Moortgat, and R. de Queiroz, (eds.), Proc. WoLLIC 2019, Springer, Berlin, Heidelberg, 2019, pp. 161–176.

  26. Hansen, H. H., Monotonic modal logics, Masters thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2003.

  27. Hansen, H. H., C. Kupke, and E. Pacuit, Neighbourhood structures: bisimilarity and basic model theory, Logical Methods in Computer Science 5(2):1–38, 2009.

  28. Hennessy, M., and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the Association for Computing Machinery 32(1):137–161, 1985.

  29. Janin, D., and I. Walukiewicz, Automata for the modal \(\mu \)-calculus and related results, in J. Wiedermann, and P. Hájek, (eds.), Mathematical Foundations of Computer Science 1995, Springer, Berlin, Heidelberg, 1995, pp. 552–562.

    Chapter  Google Scholar 

  30. Kupke, C., and D. Pattinson, Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science 412(38):5070–5094, 2011 (CMCS Tenth Anniversary Meeting).

  31. Litak, T., D. Pattinson, K. Sano, and L. Schröder, Coalgebraic predicate logic, in A. Czumaj, K. Mehlhorn, A. Pitts, and R. Wattenhofer, (eds.), Proc. ICALP 2012, Springer, 2012, pp. 299–311.

  32. Milner, R., A Calculus of Communicating Systems, Springer-Verlag, Berlin, Heidelberg, 1980.

    Book  Google Scholar 

  33. Olkhovikov, G. K., Model-theoretic characterization of intuitionistic propositional formulas, The Review of Symbolic Logic 6(2):348–365, 2013.

  34. Park, D., Concurrency and automata on infinite sequences, in P. Deussen, (ed.), Theoretical Computer Science, Springer, Berlin, Heidelberg, 1981, pp. 167–183.

    Chapter  Google Scholar 

  35. Patterson, A., Bisimulation and propositional intuitionistic logic, in A. Mazurkiewicz, and J. Winkowski, (eds.), CONCUR ’97: Concurrency Theory, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 347–360.

  36. Rutten, J.J.M.M., Universal coalgebra: a theory of systems, Theoretical Computer Science 249(1):3–80, 2000.

  37. Schröder, L., Expressivity of coalgebraic modal logic: The limits and beyond, Theoretical Computer Science 390:230–247, 2008.

  38. Schröder, L., D. Pattinson, and T. Litak, A Van Benthem/Rosen theorem for coalgebraic predicate logic, Journal of Logic and Computation 27(3):749–773, 2017.

  39. Tuyt, O., Canonical rules on neighbourhood frames, Masters thesis, ILLC, University of Amsterdam, 2016.

  40. Venema, Y., and J. Vosmaer, Modal logic and the Vietoris functor, in G. Bezhanishvili, (ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics, Springer Netherlands, Dordrecht, 2014, pp. 119–153.

    Google Scholar 

  41. Yu, J., A tableau system for instantial neighborhood logic, in Proc. LFCS 2018, 2018, pp. 337–353.

  42. Yu, J., Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus, Annals of Pure and Applied Logic, 171(1):102721, 2020.

  43. Zhao, Z., Sahlqvist correspondence theory for instantial neighbourhood logic, 2020. Available at arXiv:2003.14187

Download references

Acknowledgements

I am grateful to Johan van Benthem and Nick Bezhanishvili for their comments on the manuscript.

Author information

Authors and Affiliations

  1. College of Engineering and Computer Science, The Australian National University, Canberra, ACT, 0200, Australia

    Jim de Groot

Authors
  1. Jim de Groot
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jim de Groot.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Heinrich Wansing.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

de Groot, J. Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. Stud Logica 110, 717–743 (2022). https://doi.org/10.1007/s11225-021-09975-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-021-09975-w

Keywords

Search

Navigation