Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic

Studia Logica 110 (3):717-743 (2022)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-021-09975-w

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,030

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic. [REVIEW]Martin Mose Bentzen - 2010 - Studia Logica 96 (1):117-124.
Some Aspects of Polyadic Inductive Logic.Jürgen Landes, Jeff Paris & Alena Vencovská - 2008 - Studia Logica 90 (1):3-16.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
A first-order framework for inquisitive modal logic.Silke Meissner & Martin Otto - forthcoming - Review of Symbolic Logic:1-23.
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
Some Observations on the FGH Theorem.Taishi Kurahashi - 2023 - Studia Logica 111 (5):749-778.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.

Analytics

Added to PP
2022-01-03

Downloads
17 (#1,248,990)

6 months
3 (#1,184,619)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.

View all 18 references / Add more references