Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Terminating Hybrid Tableaus for Ordered Models
Yuki Nishimura
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 binar…
math.LO2024
Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Hybrid logic is a modal logic with additional operators specifying nominals and is highly expressive. For example, there is no formula corresponding to the irreflexivity of Kripke…