筛选条件
共查询到1条结果
排序方式
~
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Charac......