Modal deduction in second-order logic and set theory, part 2

&
Studia Logica 60 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Modal deduction in second-order logic and set theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic. [REVIEW]Martin Mose Bentzen - 2010 - Studia Logica 96 (1):117-124.
Modal Deduction in Second-Order Logic and Set Theory: II.Johan van Benthem, Giovanna D'agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387 - 420.
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. [REVIEW]Hans Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. [REVIEW]Hans van Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot - 2022 - Studia Logica 110 (3):717-743.
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.Martín Figallo - 2022 - Studia Logica 110 (3):879-879.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.

Analytics

Added to PP
2014-03-30

Downloads
2 (#1,819,493)

6 months
16 (#172,419)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpolation, preservation, and pebble games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881-903.

Add more citations

References found in this work

No references found.

Add more references