Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference116 articles.
1. L. Aceto, A. Ingólfsdóttir, C. Prisacariu and J. Sack. Compositional reasoning for multi-modal logics. In LFCS, Vol. 7734 of Lecture Notes in Computer Science, S. N. Artëmov and A. Nerode, eds, pp. 1–15. Springer, 2013.
2. R. Alenda, N. Olivetti and G. L. Pozzato. Nested sequent calculi for conditional logics. In del Cerro et al. [36], pp. 14–27.
3. Swap logic
4. Relation-changing modal operators: Fig. 1.
5. G. Aucher. A combined system for update logic and belief revision. In PRIMA, Vol. 3371 of Lecture Notes in Computer Science, M. Barley and N. K. Kasabov, eds, pp. 1–17. Springer, 2004.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. To be announced;Information and Computation;2023-06
2. Relevant epistemic logic with public announcements and common knowledge;Journal of Logic and Computation;2023-01-30
3. Almost APAL;Journal of Logic and Computation;2022-03-11
4. Situated Epistemic Updates;Logic, Rationality, and Interaction;2021
5. Expressivity of Some Versions of APAL;Lecture Notes in Computer Science;2020