Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations

Fan, J

Fan, J (corresponding author), Chinese Acad Sci, Inst Philosophy, Beijing, Peoples R China.; Fan, J (corresponding author), Univ Chinese Acad Sci, Sch Humanities, Beijing, Peoples R China.

LOGICA UNIVERSALIS, ; ():

Abstract

In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Charac......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索