Modality, bisimulation and interpolation in infinitary logic

Annals of Pure and Applied Logic 96 (1-3):29-41 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(98)00029-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
Johan van Benthem. Essays in logical semantics. Studies in linguistics and philosophy, vol. 29. D. Reidel Publishing Company, Dordrecht etc. 1986, xi + 225 pp. - Johan van Benthem. Determiners and logic. Linguistics and philosophy, vol. 6 , pp. 447–478. - Johan van Benthem. Questions about quantifiers. The journal of symbolic logic, vol. 49 , pp. 443–466. - Johan van Benthem. Foundations of conditional logic. Journal of philosophical logic, vol. 13 , pp. 303–349. [REVIEW]John Hawthorn - 1988 - Journal of Symbolic Logic 53 (3):990-991.
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Review: Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]Graeme Forbes - 1987 - Philosophy in Review 7:88-90.
Modal logic for open minds.Johan van Benthem - 2010 - Stanford, California: Center for the Study of Language and Information.
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
Johan van Benthem, Modal Logic and Classical Logic Reviewed by.Graeme Forbes - 1987 - Philosophy in Review 7 (2):88-90.

Analytics

Added to PP
2014-01-16

Downloads
33 (#473,774)

6 months
5 (#838,398)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Interpolation and Preservation in ${\cal M\kern-1pt L}{\omega1}$.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.

Add more citations

References found in this work

Add more references