...
机译:用于分离结合的模态逻辑的内部证明计算
Univ Paris Saclay ENS Paris Saclay LSV CNRS F-94235 Cachan France;
Consejo Nacl Invest Cient & Tecn RA-5000 Cordoba Argentina|Univ Nacl Cordoba RA-5000 Cordoba Argentina;
Univ Paris Saclay ENS Paris Saclay LSV CNRS F-94235 Cachan France;
modal logic; separation logic; internal calculus; completeness; Hilbert-style axiomatization; core formula; reduction axiom; separating conjunction;
机译:非圆证明与模态逻辑中的证明实现
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:古典逻辑与模态逻辑对应的证明理论研究
机译:如何优化模态逻辑中的证明搜索:证明后续计算的冗余标准的新方法
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:分开的暹罗双胞胎:内含子小核仁RNA和匹配的宿主基因可能会改变或在多种癌症类型中分开发生
机译:关于Shimura对模态谓词逻辑的Oracle甲骨文消除和Kripke捆语义的评论:中期报告(后续计算和证明理论)
机译:正态模态命题逻辑的后续计算