From Bisimulation Quantifiers to Classifying Toposes

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-220 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
Μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Undefinability of propositional quantifiers in the modal system S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
Pre-Ordered Quantifiers in Elementary Sentences of Natural Language.Marek W. Zawadowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 237--253.
Triposes, q-toposes and toposes.Jonas Frey - 2015 - Annals of Pure and Applied Logic 166 (2):232-259.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
More exact completions that are toposes.Matı́as Menni - 2002 - Annals of Pure and Applied Logic 116 (1-3):187-203.
Elementary Categories, Elementary Toposes.Colin McLarty - 1991 - Oxford, England: Oxford University Press.
What do Freyd’s Toposes Classify?Peter Johnstone - 2013 - Logica Universalis 7 (3):335-340.
Some Remarks on Zawadowski's Theory of Preordered Quantifiers.Mark A. Brown - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 255--264.
Life on the Range.G. Aldo Antonelli - 2015 - In A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Synthese LIbrary. pp. 171-189.
A Dichotomy In Classifying Quantifiers For Finite Models.Mor Doron & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (4):1297-1324.
Scattered toposes.Leo Esakia, Mamuka Jibladze & Dito Pataraia - 2000 - Annals of Pure and Applied Logic 103 (1-3):97-107.

Analytics

Added to PP
2018-02-17

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references