Sequent calculus for a hierarchy of first-order inquisitive logics. Sano, K. 2012. Russia-Japan Workshop on First-order Intermediate Logics, 4th October 2012, Hakusan, Japan
bibtex   
@unpublished{Sano:12sequent,
	author = {Sano, Katsuhiko},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	note = {Russia-Japan Workshop on First-order Intermediate Logics, 4th October 2012, Hakusan, Japan},
	title = {Sequent calculus for a hierarchy of first-order inquisitive logics},
	year = {2012}}

Downloads: 0