Sequential dynamic logic

DOI10.1007/S10849-011-9152-YMaRDI QIDQ2255197zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

substructural logicsdynamic logicsequent calculusdynamic predicate logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Structure of proofs (03F07)

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

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• An elementary proof of the completeness of PDL
• An equational axiomatization of dynamic negation and relational composition
• Dynamic predicate logic
• Dynamic squares
• Strong completeness and limited canonicity for PDL
• Substructural logic and partial correctness

Cited in

(11)

• Sequent calculi for propositional star-free likelihood logic
• scientific article; zbMATH DE number 4033711 (Why is no real title available?)
• scientific article; zbMATH DE number 1765704 (Why is no real title available?)
• scientific article; zbMATH DE number 4008371 (Why is no real title available?)
• Loop-free verification of termination of derivation for a fragment of dynamic logic
• scientific article; zbMATH DE number 3898856 (Why is no real title available?)
• Causal dynamic inference
• Implicational Kleene algebra with domain and the substructural logic of partial correctness
• Sequential description logic
• A calculus of substitutions for DPL
• scientific article; zbMATH DE number 3918336 (Why is no real title available?)

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)