A new complete construction method for the system K
-
Published:2024-03-14
Issue:
Volume:119
Page:8
-
ISSN:
-
Container-title:Fifth International Conference on Image, Video Processing, and Artificial Intelligence (IVPAI 2023)
-
language:
-
Short-container-title:
Reference7 articles.
1. DAL—A logic for data analysis
2. A NEW INTRODUCTION TO MODAL LOGIC
3. A semantical analysis of modal logic ii: Non-normal propositional calculi;Kripke;International Journal of Gynecology & Obstetrics,2014
4. Focused Labeled Proof Systems for Modal Logic
5. Mathematical Logic