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