Multi-type display calculus for propositional dynamic logic

Frittella Sabine; Greco Giuseppe; Kurz Alexander; Palmigiano Alessandra

首页> 外文期刊>Journal of logic and computation >Multi-type display calculus for propositional dynamic logic

【24h】

Multi-type display calculus for propositional dynamic logic

机译：命题动态逻辑的多类型显示演算

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

机译：我们为命题动态逻辑（PDL）引入了一种多类型显示演算。这个演算是完整的PDL，并享有Belnap样式的消除切割和子公式属性。

著录项

来源
《Journal of logic and computation》 |2016年第6期|2067-2104|共38页
作者
Frittella Sabine; Greco Giuseppe; Kurz Alexander; Palmigiano Alessandra;
展开▼
作者单位

Aix Marseille Univ, Lab Informat Fondamentale Marseille LIF, Marseille, France;

Delft Univ Technol, Dept Values Technol & Innovat, Delft, Netherlands;

Univ Leicester, Dept Comp Sci, Leicester, Leics, England;

Delft Univ Technol, Dept Values Technol & Innovat, Delft, Netherlands;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Display calculus; propositional dynamic logic; multi-type proof-system;

机译：显示演算;命题动态逻辑;多类型证明系统;

相似文献

外文文献
中文文献
专利

1. Multi-type display calculus for dynamic epistemic logic [J] . Frittella Sabine, Greco Giuseppe, Kurz Alexander, Journal of logic and computation . 2016,第6期

机译：动态认知逻辑的多类型显示演算
2. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic [J] . Brian Hill, Francesca Poggiolesi Studia Logica . 2010,第1期

机译：命题动态逻辑的无收缩无割顺序演算
3. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic [J] . FRANCESCA POGGIOLESI, BRIAN HILL Studia Logica . 2010,第1期

机译：命题动态逻辑的无收缩无割顺序演算
4. Multi-type Display Calculus for Semi De Morgan Logic [C] . Giuseppe Greco, Fei Liang, M. Andrew Moshier, International workshop on logic, language, information and computation . 2017

机译：半De Morgan逻辑的多类型显示演算
5. Substructural logics, combinatory logic, and lambda-calculus. [D] . Bimbo, Katalin. 1999

机译：子结构逻辑，组合逻辑和lambda演算。
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. Multi-Type Display Calculus for Propositional Dynamic Logic [O] . Frittella, S., Greco, G., Kurz, Alexander, 2014

机译：命题动态逻辑的多类型显示演算
8. Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse [R] . Fischer, M. J., Immerman, N. 1986

机译：用逆向解释命题动态逻辑中的知识逻辑

Multi-type display calculus for propositional dynamic logic

摘要

著录项

相似文献

相关主题

期刊订阅