国際会議 2009年7月 Birelational Kripke semantics for an intuitionistic LTL Topology, algebra and categories in logic (TACL) 2009 Kensuke Kojima 記述言語 英語 会議種別 口頭発表(一般)