記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Oxford University Press (OUP)  

Abstract

Hybrid logic extends modal logic with special propositions called nominals, each of which is true at only one state in a model. This enables us to describe some properties of binary relations, such as irreflexivity and anti-symmetry, which are essential to treat partial orders. We present terminating tableau calculi complete with respect to some classes of models whose accessibility relations are strictly partially ordered, unbounded strictly partially ordered, partially ordered, strictly totally ordered and totally ordered.

DOI： 10.1093/logcom/exag024

researchmap

記述言語：英語   掲載種別：論文集(書籍)内論文   出版者・発行元：Springer Nature Singapore  

DOI： 10.1007/978-981-96-8566-0_9

arXiv

researchmap

担当区分：筆頭著者   掲載種別：研究論文（学術雑誌）   出版者・発行元：Uniwersytet Lodzki (University of Lodz)  

Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and the set of relationships among agents. This logic is based on the Facebook logic and the Logic of Hide and Seek Game. We show two main results; one is that this logic can embed the standard epistemic logic, and the other is that there is a proof system of tableau calculus that works in finite time. We also discuss various sentences and inferences that this logic can express.

DOI： 10.18778/0138-0680.2025.19

researchmap

担当区分：筆頭著者,　責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Oxford University Press (OUP)  

Abstract

Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau calculus for two-dimensional HPL. Also, we made a tableau calculus for hybrid dependent product logic (HdPL), where one dimension depends on the other. In addition, we add a special rule to the tableau calculus for HdPL and show that it is still sound and complete. All of them lack termination, however.

DOI： 10.1093/logcom/exae018

researchmap

担当区分：筆頭著者   記述言語：日本語   掲載種別：学位論文（修士）  

researchmap

開催年月日： 2025年10月

記述言語：英語   会議種別：口頭発表（一般）  

researchmap

開催年月日： 2025年9月

記述言語：英語   会議種別：口頭発表（一般）  

researchmap

開催年月日： 2025年7月

記述言語：英語   会議種別：口頭発表（一般）  

researchmap

開催年月日： 2024年9月

記述言語：英語   会議種別：口頭発表（一般）  

researchmap

開催年月日： 2024年3月

記述言語：英語   会議種別：口頭発表（一般）  

researchmap

種別：学会・研究会等 

researchmap

種別：学会・研究会等 

researchmap

種別：学会・研究会等 

researchmap