Tableaux for constructive concurrent dynamic logic

DOI10.1016/J.APAL.2004.12.001MaRDI QIDQ2488268zbMATH OpenOpenAlexFDO

Authors D. 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

concurrent logicdynamic logictableaux

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)

Recommendations

• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• Tableaux methods for propositional dynamic logics with separating parallel composition
• Optimal and cut-free tableaux for propositional dynamic logic with converse
• Tableau methods for modal and temporal logics
• scientific article; zbMATH DE number 1950252
• Labelled tableaux for distributed temporal logic
• Tableaux for intuitionistic logics
• Tableaux with Dynamic Filtration for Layered Modal Logics
• Tableaux and Hypersequents for Justification Logic
• A tableau construction for finite linear-time temporal logic

Cites work

• Alternation
• An axiomatic basis for computer programming
• An elementary proof of the completeness of PDL
• Application of modal logic to programming
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Constructive modal logics. I
• Constructivism in mathematics. An introduction. Volume II
• First-order dynamic logic
• scientific article; zbMATH DE number 4152338 (Why is no real title available?)
• scientific article; zbMATH DE number 4024753 (Why is no real title available?)
• scientific article; zbMATH DE number 4047196 (Why is no real title available?)
• scientific article; zbMATH DE number 4088902 (Why is no real title available?)
• scientific article; zbMATH DE number 3732007 (Why is no real title available?)
• scientific article; zbMATH DE number 3469999 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Parallel action: Concurrent dynamic logic with independent modalities
• Proof methods for modal and intuitionistic logics
• Semantical analysis of constructive PDL

Cited in

(22)

• Constructive hybrid games
• Terminating calculi and countermodels for constructive modal logics
• Tableaux for Reasoning about Atomic Updates
• Concurrent dynamic logic
• Temporal BI: proof system, semantics and translations
• Table space designs for implicit and explicit concurrent tabled evaluation
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• Constructive game logic
• scientific article; zbMATH DE number 7085031 (Why is no real title available?)
• Concurrent dynamic algebra
• Taming multirelations
• Computer Science Logic
• On the negation of action types: constructive concurrent PDL
• scientific article; zbMATH DE number 970724 (Why is no real title available?)
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Refining constructive hybrid games
• Minimal modal logics, constructive modal logics and their relations
• Intuitionistic monotone modal logic via translation
• Cut-free Gentzen calculus for multimodal CK
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Intuitionistic non-normal modal logics: a general framework
• Combining linear-time temporal logic with constructiveness and paraconsistency

This page was built for publication: Tableaux for constructive concurrent dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2488268)