TOWARDS INTUITIONISTIC DYNAMIC LOGIC
TOWARDS INTUITIONISTIC DYNAMIC LOGIC
复制标题
DOI：
10.12775/llp.2006.018
复制
发表时间：
2006-01-01
影响因子：
0.5
通讯作者：
Werner, J. M.
中科院分区：
文献类型：
--
作者：
Degen, J. W.;Werner, J. M.
我们提出了一个直观的propossitional动态逻辑的开端，并描述了几个严重的开放问题。
We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.