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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Instantial neighbourhood logic.Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist & Junhua Yu - 2017 - Review of Symbolic Logic 10 (1):116-144.
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Studia Logica 107 (4):719-751.
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Studia Logica 107 (4):719-751.
Atom Exchangeability and Instantial Relevance.J. B. Paris & P. Waterhouse - 2009 - Journal of Philosophical Logic 38 (3):313-332.
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
A Counterexample to the Breckenridge-Magidor Account of Instantial Reasoning.Tristan Haze - 2016 - Journal of Philosophical Research 41:539-541.
Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator.Ernst-Erich Doberkat - 2007 - Journal of Applied Logic 5 (3):519-544.
A Continuum of Inductive Methods Arising from a Generalized Principle of Instantial Relevance.C. J. Nix & J. B. Paris - 2006 - Journal of Philosophical Logic 35 (1):83-115.
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Instantial Reasoning, Arbitrary Objects, and Holey Propositions.James Hintze Hardy - 1998 - Dissertation, Indiana University
Simplicity as a Criterion of Induction.R. Harré - 1959 - Philosophy 34 (130):229 - 234.

Analytics

Added to PP
2022-01-03

Downloads
9 (#1,181,695)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
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 19 references / Add more references