Automated reasoning in modal logics: A framework with applications

Abstract

The principle that every truth is possibly necessary can now be shown to entail that every truth is necessary by a chain of elementary inferences in a perspicuous notation unavailable to Hegel. —Williamson [5, p.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Tharp’s theorems of metaphysics and the notion of necessary truth.Jordan Stein - 2017 - Synthese 194 (4).
Strongly Millian Second-Order Modal Logics.Bruno Jacinto - 2017 - Review of Symbolic Logic 10 (3):397-454.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Knowledge of necessity: Logical positivism and Kripkean essentialism.Stephen K. McLeod - 2008 - Philosophy 83 (2):179-191.
From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics.Fangfang Tang - 2019 - History and Philosophy of Logic 40 (1):63-80.
A SOLUTION TO FITCH'S PARADOX OF KNOWABILITY.Helge Rückert - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 351--380.
An Ontological Argument for Modal Realism.Michael Losonsky - 1988 - Grazer Philosophische Studien 31 (1):165-177.
A necessity illusion for modal inferences from conditionals.Moyun Wang, Pengfei Yin & Liyuan Zheng - 2018 - Thinking and Reasoning 24 (3):366-385.
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.

Analytics

Added to PP
2009-01-28

Downloads
38 (#432,849)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Branden Fitelson
Northeastern University

Citations of this work

No citations found.

Add more citations

References found in this work

Must do better.Timothy Williamson - 2006 - In Patrick Greenough & Michael P. Lynch (eds.), Truth and realism. Oxford University Press. pp. 278--92.

Add more references