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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

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.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.Martín Figallo - 2022 - Studia Logica 110 (3):879-879.

Analytics

Added to PP
2014-03-30

Downloads
19 (#1,074,273)

6 months
2 (#1,685,557)

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