Please note that this newsitem has been archived, and may contain outdated information or links.
Special Issue of the Journal of Logic Language and Information on "Dynamic Logic - New Trends and Applications"
Deadline: Friday 31 January 2025
*** Call for Papers ***
Dynamic Logic - New trends and Applications
Special Issue of the Journal of Logic, Language and Information
*** Important Dates ***
- Manuscript submission deadline: January 31st, 2025
- Author notification: April 30th, 2025
- Revised manuscripts due: June 30th, 2025
- Publication by August 31st, 2025
**** Overview *****
Following the successful 2022 and 2023 editions of the Workshop DaLÌ - Dynamic Logic: New trends and applications, it is our pleasure to announce the possibility of publishing work on Dynamic Logic in the upcoming Special Issue of Journal of Logic, Language and Information.
**** List of Topics ****
Manuscripts are invited on the general field of dynamic logic, its variants, and applications, including (but not restricted to):
- Dynamic logic foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logics
**** Guest Editors ****
Carlos Areces, Diana Costa, Nina Gierasimczuk, Fernando R. Velázquez-Quesada
**** Submission ****
Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) are invited through the following website: https://www.editorialmanager.com/jlli/Default.aspx
(Select article type: Manuscript; then, in the step Additional Information, select special issue: S.I.: Dynamic Logic: New trends and applications).
Manuscripts should be typeset according to the JLLI guidelines (https://link.springer.com/journal/10849/submission-guidelines). For LaTeX submissions, authors are encouraged to use the journal article template that can be downloaded here: https://www.springernature.com/gp/authors/campaigns/latex-author-support
To express interest in submission and for more information please contact Nina Gierasimczuk at nigi at dtu.dk
Please note that this newsitem has been archived, and may contain outdated information or links.