Hidenori Kurokawa, Ph.D.
Affiliations: | 2012 | Philosophy | City University of New York, New York, NY, United States |
Area:
Logic, PhilosophyGoogle:
"Hidenori Kurokawa"Parents
Sign in to add mentorSergei Artemov | grad student | 2012 | CUNY | |
(Tableaux and Hypersequents for Modal and Justification Logics.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Dean W, Kurokawa H. (2014) The paradox of the knower revisited Annals of Pure and Applied Logic. 165: 199-224 |
Kurokawa H. (2012) Tableaux and hypersequents for justification logics Annals of Pure and Applied Logic. 163: 831-853 |
Dean W, Kurokawa H. (2010) From the Knowability Paradox to the existence of proofs Synthese. 176: 177-225 |
Kurokawa H. (2007) Hypersequent calculus for intuitionistic logic with classical atoms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4514: 318-331 |