A Canonical Model Construction for Iteration-Free PDL with Intersection
We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a normal form for formulae which minimises the interaction betwe...
Main Authors: | Florian Bruse, Daniel Kernberger, Martin Lange |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2016-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1609.04093v1 |
Similar Items
-
The Fixpoint-Iteration Algorithm for Parity Games
by: Florian Bruse, et al.
Published: (2014-08-01) -
Constructing canonical Feynman integrals with intersection theory
by: Jiaqi Chen, et al.
Published: (2021-03-01) -
Synthesis of Novel Peptide Dendrimers PDL-GB2 and PDL-G2
by: Lin Yunzhu, et al.
Published: (2015-01-01) -
Performance Modeling Methodologies using PDL+ and ARC
by: Vattyam, Priya
Published: (2000) -
Identification of PDL1-Related Biomarkers to Select Lung Adenocarcinoma Patients for PD1/PDL1 Inhibitors
by: Yanping Wu, et al.
Published: (2020-01-01)