Tableaux for constructive concurrent dynamic logic

DOI10.1016/j.apal.2004.12.001zbMath1094.03021OpenAlexW2082769874MaRDI QIDQ2488268

Duminda Wijesekera, Anil Nerode

Publication date: 25 August 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.12.001

zbMATH Keywords

tableauxdynamic logicconcurrent logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Concurrent Dynamic Algebra, Taming Multirelations, Constructive Game Logic, Intuitionistic non-normal modal logics: a general framework, Terminating calculi and countermodels for constructive modal logics, Temporal BI: proof system, semantics and translations, Combining linear-time temporal logic with constructiveness and paraconsistency, Cut-free Gentzen calculus for multimodal CK, Bounded linear-time temporal logic: a proof-theoretic investigation, Constructive hybrid games

Cites Work

• Constructive modal logics. I
• Proof methods for modal and intuitionistic logics
• Communication in concurrent dynamic logic
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• An elementary proof of the completeness of PDL
• Application of modal logic to programming
• Constructivism in mathematics. An introduction. Volume II
• Parallel action: Concurrent dynamic logic with independent modalities
• First-order dynamic logic
• Semantical analysis of constructive PDL
• Concurrent dynamic logic
• Alternation
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item