Modal logic and model-theoretic syntax

&
In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 29--60 (1997)
  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: 91,963

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

Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Toward Model-Theoretic Modal Logics.M. A. Minghui - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
On Quantified Modal Logic.Melvin Fitting - unknown
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
Keeping semantics pure.Dominic Gregory - 2005 - Noûs 39 (3):505–528.
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
Ontology-free modal semantics.Greg Ray - 1996 - Journal of Philosophical Logic 25 (4):333 - 361.
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.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
A modal interpretation of the logic of interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.

Analytics

Added to PP
2014-01-25

Downloads
15 (#948,046)

6 months
1 (#1,472,961)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.
Zooming in, zooming out.Patrick Blackburn & Maarten De Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
Zooming in, zooming out.Patrick Blackburn & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
Modal Logic.Johan van Benthem - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 389–409.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references