Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic-Reference-Cited by-同舟云学术

Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic

Published:2021 Issue: Volume: Page:329-344
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Tarau Paul

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-68446-4_17

Reference23 articles.

1. Gelfond, M.: Strong introspection. In: Proceedings of the Ninth National Conference on Artificial Intelligence - Volume 1. AAAI 1991, pp. 386–391. AAAI Press (1991)

2. Baral, C., Gelfond, G., Son, T.C., Pontelli, E.: Using answer set programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1 - Volume 1. AAMAS 2010, Richland, SC, International Foundation for Autonomous Agents and Multiagent Systems, pp. 259–266 (2010)

3. Shen, Y.D., Eiter, T.: Evaluating epistemic negation in answer set programming. Artif. Intell. 237(C), 115–135 (2016)

4. Lecture Notes in Computer Science;David Pearce,1997

5. Artemov, S.N., Protopopescu, T.: Intuitionistic epistemic logic. Rew. Symb. Logic 9(2), 266–298 (2016)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constructive and mechanised meta-theory of IEL and similar modal logics;Journal of Logic and Computation;2022-11-10

2. Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis;Theory and Practice of Logic Programming;2022-06-28