Language：English   Publishing type：Research paper (scientific journal)   Publisher：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

Language：English   Publishing type：Part of collection (book)   Publisher：Springer Nature Singapore  

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

arXiv

researchmap

Authorship：Lead author   Publishing type：Research paper (scientific journal)   Publisher：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

Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)   Publisher：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

Authorship：Lead author   Language：Japanese   Publishing type：Master’s thesis  

researchmap

Event date： 2025.10

Language：English   Presentation type：Oral presentation (general)  

researchmap

Event date： 2025.9

Language：English   Presentation type：Oral presentation (general)  

researchmap

Event date： 2025.7

Language：English   Presentation type：Oral presentation (general)  

researchmap

Event date： 2024.9

Language：English   Presentation type：Oral presentation (general)  

researchmap

Event date： 2024.3

Language：English   Presentation type：Oral presentation (general)  

researchmap

Type：Academic society, research group, etc. 

researchmap

Type：Academic society, research group, etc. 

researchmap

Type：Academic society, research group, etc. 

researchmap