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, Japanbibtex @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
{"_id":"9WRHcrnz9TiMrnybT","bibbaseid":"sano-sequentcalculusforahierarchyoffirstorderinquisitivelogics-2012","author_short":["Sano, K."],"bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"propositions":[],"lastnames":["Sano"],"firstnames":["Katsuhiko"],"suffixes":[]}],"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","bibtex":"@unpublished{Sano:12sequent,\n\tauthor = {Sano, Katsuhiko},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tnote = {Russia-Japan Workshop on First-order Intermediate Logics, 4th October 2012, Hakusan, Japan},\n\ttitle = {Sequent calculus for a hierarchy of first-order inquisitive logics},\n\tyear = {2012}}\n\n","author_short":["Sano, K."],"key":"Sano:12sequent","id":"Sano:12sequent","bibbaseid":"sano-sequentcalculusforahierarchyoffirstorderinquisitivelogics-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"unpublished","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":[],"search_terms":["sequent","calculus","hierarchy","first","order","inquisitive","logics","sano"],"title":"Sequent calculus for a hierarchy of first-order inquisitive logics","year":2012}