Proofs and Expressiveness in Alethic Modal Logic

&
In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 422–441 (2006)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Introduction Model Theory Proof Theory Modal Predicate Logic.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch29

Links

PhilArchive



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

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

Modal Logic.M. J. Cresswell - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 136–158.
New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics.Risto Hilpinen (ed.) - 1981 - Dordrecht, Netherland: Wiley-Blackwell.
Alethic Modal Logics and Semantics.Gerhard Schurz - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 442–477.
On the non-availability of Dawson-modeling into certain relevance alethic modal logics.John Chidgey - 1979 - Studia Logica 38 (2):89 - 94.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
Probability and Tempered Modal Eliminativism.Michael J. Shaffer - 2004 - History and Philosophy of Logic 25 (4):305-318.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
Alethic modalities, temporal modalities, and representation.Jiri Benovsky - 2015 - Kriterion - Journal of Philosophy 29 (1):19-36.
Suhrawardi's Modal Syllogisms.Zia Movahed - 2012 - Sophia Perennis 21:5-17.
First‐Order Alethic Modal Logic.Melvin Fitting - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 410–421.
How to mix alethic, deontic, temporal, individual modalities.Patrice Bailhache - 1998 - Logica Trianguli 2:3-16.
Non-well-founded proofs for the Grzegorczyk modal logic.Yury Savateev & Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-29.
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.
An Essay in Modal Logic.Georg Henrik von Wright - 1951 - Amsterdam, Netherlands: North-Holland.
Four Objections to Alethic Functionalism.Jay Newhard - 2013 - Journal of Philosophical Research 38:69-87.

Analytics

Added to PP
2023-06-15

Downloads
7 (#1,387,389)

6 months
6 (#520,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references