Back and Forth Between Modal Logic and Classical Logic

, &
Logic Journal of the IGPL 3 (5):685-720 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/3.5.685

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Judit Madarász & Gergely Székely (eds.) - 2021 - Springer.
Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]Graeme Forbes - 1987 - Philosophy in Review 7:88-90.
Johan van Benthem, Modal Logic and Classical Logic Reviewed by.Graeme Forbes - 1987 - Philosophy in Review 7 (2):88-90.
Implicit Partiality of Signature Morphisms in Institution Theory.Răzvan Diaconescu - 2021 - In Judit Madarász & Gergely Székely, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 81-123.
Johan van BENTHEM: Modal Logik and Classical Logik.Jesús Padilla Gálvez - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):539-542.
Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 , also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Generalized Quantifiers Meet Modal Neighborhood Semantics.Dag Westerståhl & Johan van Benthem - 2021 - In Judit Madarász & Gergely Székely, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 187-206.
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.
In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics.Giambattista Formica & Michèle Friend - 2021 - In Judit Madarász & Gergely Székely, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 383-408.

Analytics

Added to PP
2015-02-04

Downloads
47 (#491,890)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references