Partial Logic as a Logic of Extensional Alethic Modality

Journal of the Japan Association for Philosophy of Science 34 (2):61-70 (2007)
  Copy   BIBTEX


In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.



    Upload a copy of this work     Papers currently archived: 74,480

External links

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

Through your library

Similar books and articles

Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
Is Modal Logic Logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.
An Approach to Intensional Logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
Against the Modal Argument.Christopher S. Gifford - 2013 - Erkenntnis 78 (3):627-646.
From Predication to Programming.Karel Lambert - 2001 - Minds and Machines 11 (2):257-265.
Time and Modality.Arthur N. Prior - 1955 - Greenwood Press.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.


Added to PP

15 (#692,909)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daisuke Kachi
Saitama University

Citations of this work

An Expansion of First-Order Belnap-Dunn Logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.

Add more citations

References found in this work

No references found.

Add more references