×

找到77个文档（结果1-77）

最新的 引文 关联
小野，Hiroakira;胜彦三野

双直觉时态逻辑的解析切割和Mints对称插值方法。 （英语） Zbl 07668117号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623 (2022).
MSC公司：05年3月 03B20型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}和\textit{K.Sano}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623（2022；Zbl 07668117）
刘芬荣（编辑）;小野，Hiroakira（编辑）;于俊华（编辑）

知识、证明和动力。第四届亚洲哲学逻辑研讨会。根据2018年10月20日至21日在中国北京举行的研讨会上的演示文稿选出的论文。 （英语） Zbl 1515.03016号

亚洲逻辑：Studia Logica图书馆新加坡：Springer（ISBN 978-981-15-2220-8/hbk；978-981-5-2223-9/pbk；978-15-2221-5/ebook）。ix，第217页。(2020).
MSC公司：03-06 03A05号 03Bxx号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛F.Liu｝（编辑）等人，《知识、证明与动力学》。第四届亚洲哲学逻辑研讨会。2018年10月20日至21日，中国北京，根据研讨会上的演讲选择的论文。新加坡：Springer（2020；Zbl 1515.03016）
全文： 内政部
小野，Hiroakira

模态逻辑中切割消除和子公式属性的语义方法。 （英语） Zbl 1429.03199号

Yang，Syraya Chin-Mu（编辑）等，非经典逻辑的结构分析。2014年10月24日至25日，第二届台湾哲学逻辑学术研讨会论文集，台湾台北。柏林：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，1-15 (2016).
MSC公司：05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}，in：非经典逻辑的结构分析。2014年第二届台湾哲学逻辑学术研讨会论文集，台湾台北，2014年10月24-25日。柏林：斯普林格。1-15（2016年；Zbl 1429.03199）
全文： 内政部
野村，Shoshin;小野，Hiroakira;胜彦三野

动态认知逻辑的无割标记序列演算。 （英语） Zbl 1477.03041号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 283-298 (2016).
MSC公司：03B42号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Nomura}等人，Lect。注释计算。科学。9537283--298（2016；Zbl 1477.03041）
全文： 内政部
Ju，Shier先生（编辑）;刘、胡（编辑）;小野，Hiroakira（编辑）

形式、语义和解释。第二届亚洲哲学逻辑研讨会，中国广州，2014年。 （英语） Zbl 1321.03010号

亚洲逻辑：Studia Logica图书馆柏林：施普林格出版社（ISBN 978-3-662-47196-8/hbk；978-3-562-47197-5/电子书）。六、188页。(2015).
MSC公司：03-06 03B70号 03A05号 03B45号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ju}（编辑）等人，《情态、语义和解释》。第二届亚洲哲学逻辑研讨会，中国广州，2014年。柏林：施普林格出版社（2015；Zbl 1321.03010）
全文： 内政部
小野，Hiroakira（编辑）;Makoto金泽（编辑）;鲁伊·德·奎罗斯（编辑）

逻辑、语言、信息和计算。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。 （英语） Zbl 1165.03002号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。xi，第409页。(2009).
MSC公司：03-06 68-06 03B70号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（2009；Zbl 1165.03002）
全文： 内政部
尼古拉斯·加拉托斯;彼得·吉普森;托马斯·科瓦尔斯基;小野，Hiroakira

残余晶格。子结构逻辑的代数一瞥。 （英语） Zbl 1171.03001号

逻辑与数学基础研究151.阿姆斯特丹：爱思唯尔（ISBN 978-0-444-52141-5/hbk）。xxi，509页。(2007).
审核人：达纳·皮奇乌（克雷奥瓦）
MSC公司：03-01 2002年3月 03B47号 05年3月 03克10 06-01 06-02 06B20号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{N.Galatos}等人，残余晶格。子结构逻辑的代数一瞥。阿姆斯特丹：Elsevier（2007；Zbl 1171.03001）
小野，Hiroakira

代数的完备性以及模态逻辑和子结构逻辑的完备化。 （英语） Zbl 1082.03059号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。335-353（2003年）。
MSC公司：03G25号 03B45号 03B47号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版。335--353（2003年；Zbl 1082.03059）
小野，Hiroakira

子结构逻辑和剩余格——简介。 （英语） Zbl 1048.03018号

亨德里克斯，文森特·F（编辑）等人，《逻辑趋势》。Studia Logica 50年。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1601-8/hbk）。趋势日志。螺柱日志。伦敦银行同业拆借利率。21, 193-228 (2003).
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：03B47号 03克10 05年3月 2002年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}，趋势日志。螺柱日志。伦敦银行同业拆借利率。21193-228（2003；Zbl 1048.03018）
田中，吉知藤;小野，Hiroakira

谓词和无限模态逻辑的Rasiowa-Sikorski引理和Kripke完备性。 （英语） Zbl 0996.03012号

Zakharyaschev，Michael（编辑）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。119, 401-419 (2001).
MSC公司：03B45号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tanaka}和\textit{H.Ono}，in：模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物。401-419（2001；Zbl 0996.03012）
小野，Hiroakira

关于非对易子结构逻辑的一些观察。 （英语） Zbl 0951.03022号

安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日在佛罗伦萨举行的第十届国际逻辑、方法论和科学哲学大会论文选稿。多德雷赫特：Kluwer学术出版社。合成。天秤座。第280187-194页（1999年）。
MSC公司：03B47号 05年3月 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}，合成。伦敦银行同业拆借利率。280187--194（1999；Zbl 0951.03022）
小野，Hiroakira

子结构逻辑的可判定性和有限模型性质。 （英语） Zbl 0956.03028号

Ginzburg，Jonathan（编辑）等人，《第比利斯逻辑、语言和计算研讨会：论文选集》，格鲁吉亚古达乌里，1995年10月19-22日。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。263-274 (1998).
MSC公司：03B47号 03B25号 03C13号机组
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ono｝，在：第比利斯关于逻辑、语言和计算的研讨会：论文选集，格鲁吉亚古道里，1995年10月19日至22日。加利福尼亚州斯坦福：CSLI出版物；阿姆斯特丹：欧洲逻辑、语言和信息协会（FoLLI）。263--274（1998年；Zbl 0956.03028）
小野，Hiroakira

结构规则和逻辑层次结构。 （英语） Zbl 0790.03007号

数理逻辑，程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting，柴卡/巴尔格。1988, 95-104 (1990).
审核人：Y.Komori（Ohya/Shizuoka）
MSC公司：03B20型 03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}，in：数学逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷（Arend Heyting，1898-1980）诞辰90周年暑期学校和会议记录。纽约：Plenum出版社。95-104（1990年；Zbl 0790.03007）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件