Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction of Prevention Conceived in Distributed Knowledge Base;Proceedings of the 8th International Conference on Complexity, Future Information Systems and Risk;2023
2. Modal Logics with Non-rigid Propositional Designators;Logic, Rationality, and Interaction;2023
3. Predicate Abstraction, Formally;Synthese Library;2023
4. Quantifier-free epistemic term-modal logic with assignment operator;Annals of Pure and Applied Logic;2022-03
5. Consultation to Effectiveness and Logical Meaning;Proceedings of the 7th International Conference on Complexity, Future Information Systems and Risk;2022