搜索结果: 1-1 共查到“Modal Logic”相关记录1条 . 查询时间(0.078 秒)
On the connection between the categorical and the modal logic approaches to Quantum Mechanics
Quantum Mechanics Category Theory Modal Logic
2016/6/12
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Mod...