論文

査読有り

2020年

A cut-free labelled sequent calculus for dynamic epistemic logic

Journal of Logic and Computation

S. Nomura
H. Ono
K. Sano

巻: 30
号: 1
開始ページ: 321
終了ページ: 348
記述言語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1093/logcom/exaa014

リンク情報

DOI: https://doi.org/10.1093/logcom/exaa014
DBLP: https://dblp.uni-trier.de/rec/journals/logcom/NomuraOS20
URL: https://dblp.uni-trier.de/db/journals/logcom/logcom30.html#NomuraOS20

ID情報

DOI : 10.1093/logcom/exaa014
DBLP ID : journals/logcom/NomuraOS20

エクスポート: BibTeX RIS

論文リストへ