Sequential dynamic logic
From MaRDI portal
Publication:2255197
DOI10.1007/S10849-011-9152-YzbMATH Open1305.03020OpenAlexW2165019859MaRDI QIDQ2255197FDOQ2255197
Authors: Alexander Bochman, Dov Gabbay 
Publication date: 9 February 2015
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/26106
Recommendations
- Concurrent dynamic logic
- Sequence semantics for dynamic predicate logic
- scientific article; zbMATH DE number 1556014
- scientific article; zbMATH DE number 1852915
- scientific article; zbMATH DE number 1032009
- scientific article; zbMATH DE number 4008371
- A logic of sequentiality
- scientific article; zbMATH DE number 3918336
- Sequentielle asynchrone Logik / Sequential asynchronous logic
- scientific article; zbMATH DE number 3322455
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Structure of proofs (03F07)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Substructural logic and partial correctness
- An elementary proof of the completeness of PDL
- Dynamic predicate logic
- An equational axiomatization of dynamic negation and relational composition
- Strong completeness and limited canonicity for PDL
- Dynamic squares
Cited In (10)
- Sequent calculi for propositional star-free likelihood logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Causal dynamic inference
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Sequential description logic
- A calculus of substitutions for DPL
- Title not available (Why is that?)
This page was built for publication: Sequential dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255197)
