Translating modal formulae as set-theoretic terms

, &
Bulletin of Symbolic Logic 1 (2):230-231 (1995)
  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: 92,813

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

Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
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.
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
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.
Keeping semantics pure.Dominic Gregory - 2005 - Noûs 39 (3):505–528.
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.
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
An empirical analysis of modal theorem provers.Ullrich Hustadt & Renate A. Schmidt - 1999 - Journal of Applied Non-Classical Logics 9 (4):479-522.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.

Analytics

Added to PP
2014-01-21

Downloads
8 (#1,339,162)

6 months
4 (#853,525)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references