Justifying induction on modal -formulae

, &
Logic Journal of the IGPL 22 (6):805-817 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
Justifying induction mathematically: Strategies and functions.Alexander Paseau - 2008 - Logique Et Analyse 51 (203):263.
Induction and Inductive Definitions in Fragments of Second Order Arithmetic.Klaus Aehlig - 2005 - Journal of Symbolic Logic 70 (4):1087 - 1107.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.
An empirical analysis of modal theorem provers.Ullrich Hustadt & Renate A. Schmidt - 1999 - Journal of Applied Non-Classical Logics 9 (4):479-522.
On probabilism and induction.John Hosack - 1991 - Topoi 10 (2):227-229.
Carnapian Modal and Epistemic Arithmetic.Heylen Jan - 2009 - In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications. pp. 97-121.
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
The rationality of induction.David Charles Stove - 1986 - Oxford, UK: Oxford University Press.
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.
A Polynomial Translation Of S4 Into T And Contraction–free Tableaux For S4.Serenella Cerrito & Marta Cialdea Mayer - 1997 - Logic Journal of the IGPL 5 (2):287-300.
Unification For Quantified Formulae.Wilfried Sieg - unknown
A note on modal formulae and relational properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
On justifying induction.P. F. Strawson - 1958 - Philosophical Studies 9 (1-2):20 - 21.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,160,791)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Small infinitary epistemic logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.

Add more citations

References found in this work

No references found.

Add more references