Tableaux for constructive concurrent dynamic logic

DOI10.1016/J.APAL.2004.12.001zbMATH Open1094.03021OpenAlexW2082769874MaRDI QIDQ2488268FDOQ2488268

Anil Nerode, D. Wijesekera

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

dynamic logictableauxconcurrent logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (16)

• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Temporal BI: proof system, semantics and translations
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Title not available (Why is that?)
• Terminating calculi and countermodels for constructive modal logics
• Computer Science Logic
• Constructive Game Logic
• Cut-free Gentzen calculus for multimodal CK
• Intuitionistic non-normal modal logics: a general framework
• Tableaux for Reasoning about Atomic Updates
• Table space designs for implicit and explicit concurrent tabled evaluation
• Concurrent Dynamic Algebra
• Taming Multirelations
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Constructive hybrid games

Recommendations

• Title not available (Why is that?) 👍 👎
• Tableau methods for modal and temporal logics 👍 👎
• Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse 👍 👎
• Tableaux and Hypersequents for Justification Logic 👍 👎
• Labelled Tableaux for Distributed Temporal Logic 👍 👎
• Tableaux and algorithms for Propositional Dynamic Logic with Converse 👍 👎
• Tableaux for intuitionistic logics 👍 👎
• A tableau construction for finite linear-time temporal logic 👍 👎
• Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition 👍 👎
• Tableaux with Dynamic Filtration for Layered Modal Logics 👍 👎

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)