Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):481-490 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800263102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (31):481-490.
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
Equality-free saturated models.P. Dellunde - 2003 - Reports on Mathematical Logic:3-22.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
Modal correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Evidence theory in multivalued models of modal logic.Elena Tsiporkova, Bernard De Baets & Veselka Boeva - 2000 - Journal of Applied Non-Classical Logics 10 (1):55-81.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.
On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Models for Counterparts.Alessandro Torza - 2011 - Axiomathes 21 (4):553-579.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.

Analytics

Added to PP
2015-12-02

Downloads
29 (#554,168)

6 months
3 (#984,114)

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

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Models for modalities.Jaakko Hintikka - 1969 - Dordrecht: D. Reidel.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 6 references / Add more references