Abstract | ||
---|---|---|
We show that propositional dynamic logic and the modal µ-calculus are closed under product modalities, as defined in current dynamic-epistemic logics. Our analysis clarifies the latter systems, while also raising some new questions about fixed-point logics. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78127-1_9 | Pillars of Computer Science |
Keywords | Field | DocType |
product modality,latter system,propositional dynamic logic,fixed-point logic,current dynamic-epistemic logic,new question,modal fixed-point logic,fixed point,modal logic | T-norm fuzzy logics,Discrete mathematics,Modal μ-calculus,Accessibility relation,Normal modal logic,Computer science,Multimodal logic,Modal logic,Dynamic logic (modal logic),S5 | Conference |
Volume | ISSN | ISBN |
4800 | 0302-9743 | 3-540-78126-9 |
Citations | PageRank | References |
5 | 0.60 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan van Benthem | 1 | 1181 | 107.83 |
Daisuke Ikegami | 2 | 12 | 4.13 |