Properties of Saturation in Monotonic Neighbourhood Models and Some Applications

Studia Logica 103 (4):733-755 (2015)
  Copy   BIBTEX

Abstract

In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the maximal Hennessy-Milner classes. We shall also show that our notion of modal saturation for monotonic models naturally extends the notion of modal saturation for Kripke models

Categories

Keywords

Reprint years

DOI

10.1007/s11225-014-9590-z

Links

PhilArchive



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

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

Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2011 - Notre Dame Journal of Formal Logic 52 (3):315-329.
Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Models with the ω-property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
Remarks on Structure Theorems for -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
The relationship between KLM and MAK models for nonmonotonic inference operations.Jürgen Dix & David Makinson - 1992 - Journal of Logic, Language and Information 1 (2):131-140.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Adams conditionals and non-monotonic probabilities.Richard Bradley - 2006 - Journal of Logic, Language and Information 15 (1-2):65-81.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Limitwise monotonic functions, sets, and degrees on computable domains.Asher M. Kach & Daniel Turetsky - 2010 - Journal of Symbolic Logic 75 (1):131-154.

Analytics

Added to PP
2014-10-30

Downloads
25 (#598,332)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some Logics in the Vicinity of Interpretability Logics.Sergio Celani - 2020 - Bulletin of the Section of Logic:21 pp..

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.

Add more references