article

Dynamic logic

Authors:

David Harel,

Dexter Kozen,

Jerzy TiurynAuthors Info & Claims

ACM SIGACT News, Volume 32, Issue 1

Pages 66 - 69

https://doi.org/10.1145/568438.568456

Published: 01 March 2001 Publication History

Get Access

Cited By

View all

Macovei B(2023)A Parallel Dynamic Epistemic Perspective over Muddy Children PuzzleElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.389.5389(56-64)Online publication date: 22-Sep-2023
https://doi.org/10.4204/EPTCS.389.5
Becker ACabalar PDiéguez MFarinas del Cerro LSchaub TSchuhmann A(2023)Metric dynamic equilibrium logicJournal of Applied Non-Classical Logics10.1080/11663081.2023.224436533:3-4(495-519)Online publication date: 14-Aug-2023
https://doi.org/10.1080/11663081.2023.2244365
Găină DBadia GKowalski T(2023)Omitting types theorem in hybrid dynamic first-order logic with rigid symbolsAnnals of Pure and Applied Logic10.1016/j.apal.2022.103212174:3(103212)Online publication date: Mar-2023
https://doi.org/10.1016/j.apal.2022.103212
Show More Cited By

Dynamic logic
1. Theory of computation

Recommendations

Sequential Dynamic Logic

We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with ...
Combining Equilibrium Logic and Dynamic Logic
LPNMR 2013: Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 8148

We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program ...
On the Completeness of Dynamic Logic
Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Volume 5504

The impossibility of semantically complete deductive calculi for logics for imperative programs has led to the study of two alternative approaches to completeness: "local" semantic completeness on the one hand Cook's relative completeness, Harel's ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGACT News Volume 32, Issue 1

March 2001

88 pages

ISSN:0163-5700

DOI:10.1145/568438

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2001

Published in SIGACT Volume 32, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
325
Total Downloads

Downloads (Last 12 months)73
Downloads (Last 6 weeks)15

Reflects downloads up to 24 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Macovei B(2023)A Parallel Dynamic Epistemic Perspective over Muddy Children PuzzleElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.389.5389(56-64)Online publication date: 22-Sep-2023
https://doi.org/10.4204/EPTCS.389.5
Becker ACabalar PDiéguez MFarinas del Cerro LSchaub TSchuhmann A(2023)Metric dynamic equilibrium logicJournal of Applied Non-Classical Logics10.1080/11663081.2023.224436533:3-4(495-519)Online publication date: 14-Aug-2023
https://doi.org/10.1080/11663081.2023.2244365
Găină DBadia GKowalski T(2023)Omitting types theorem in hybrid dynamic first-order logic with rigid symbolsAnnals of Pure and Applied Logic10.1016/j.apal.2022.103212174:3(103212)Online publication date: Mar-2023
https://doi.org/10.1016/j.apal.2022.103212
Zhang YWu HChen YMallet F(2020)A Clock-based Dynamic Logic for the Verification of CCSL Specifications in Synchronous SystemsScience of Computer Programming10.1016/j.scico.2020.102591(102591)Online publication date: Dec-2020
https://doi.org/10.1016/j.scico.2020.102591
Zhang YMallet FZhu HChen YLiu BLiu Z(2020)A Clock-based Dynamic Logic for Schedulability Analysis of CCSL SpecificationsScience of Computer Programming10.1016/j.scico.2020.102546(102546)Online publication date: Oct-2020
https://doi.org/10.1016/j.scico.2020.102546
Husson AKrivine J(2019)A Tractable Logic for Molecular BiologyElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.306.17306(101-113)Online publication date: 19-Sep-2019
https://doi.org/10.4204/EPTCS.306.17
Zhang YMallet FZhu HChen Y(2019)A Logical Approach for the Schedulability Analysis of CCSL2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)10.1109/TASE.2019.00-23(25-32)Online publication date: Jul-2019
https://doi.org/10.1109/TASE.2019.00-23
Kamburjan EDin CHähnle RJohnsen E(2019)Asynchronous Cooperative Contracts for Cooperative SchedulingSoftware Engineering and Formal Methods10.1007/978-3-030-30446-1_3(48-66)Online publication date: 18-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-30446-1_3
Găină DŢuţu I(2019)Birkhoff Completeness for Hybrid-Dynamic First-Order LogicAutomated Reasoning with Analytic Tableaux and Related Methods10.1007/978-3-030-29026-9_16(277-293)Online publication date: 3-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-29026-9_16
Zhang YWu HChen YMallet F(2019)Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL SpecificationsFormal Techniques for Safety-Critical Systems10.1007/978-3-030-12988-0_7(101-118)Online publication date: 2-Feb-2019
https://doi.org/10.1007/978-3-030-12988-0_7
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Sequential Dynamic Logic

Combining Equilibrium Logic and Dynamic Logic

On the Completeness of Dynamic Logic

Comments

Published In

Publisher

Publication History

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Cited By

Recommendations

Sequential Dynamic Logic

Combining Equilibrium Logic and Dynamic Logic

On the Completeness of Dynamic Logic

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations