Copertina

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal wit...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Gierasimczuk, Nina (Redattore), Velázquez-Quesada, Fernando R. (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edizione:	1st ed. 2024.
Serie:	Lecture Notes in Computer Science, 14401
Soggetti:	Computer science. Mathematical logic. Logic programming. Software engineering. Computer networks . Computer Science Logic and Foundations of Programming. Mathematical Logic and Foundations. Logic in AI. Software Engineering. Computer Communication Networks.
Accesso online:	https://doi.org/10.1007/978-3-031-51777-8
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Pubblicazione: (2023)

An Invitation to Mathematical Logic
di: Marker, David
Pubblicazione: (2024)

New Directions in Relevant Logic
Pubblicazione: (2025)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Pubblicazione: (2023)

R-Calculus, VI: Finite Injury Priority Method
di: Li, Wei, et al.
Pubblicazione: (2025)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Pubblicazione: (2024)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Pubblicazione: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Pubblicazione: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Pubblicazione: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Pubblicazione: (2023)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Pubblicazione: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Pubblicazione: (2025)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
di: Viale, Matteo
Pubblicazione: (2024)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Pubblicazione: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Pubblicazione: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Pubblicazione: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Pubblicazione: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Pubblicazione: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Pubblicazione: (2023)

Logic in Computer Science
di: Zhang, Hantao, et al.
Pubblicazione: (2025)

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
di: Hoffmann, Dirk W.
Pubblicazione: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Pubblicazione: (2025)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
di: Halbeisen, Lorenz, et al.
Pubblicazione: (2025)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Pubblicazione: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Pubblicazione: (2025)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Pubblicazione: (2023)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Pubblicazione: (2025)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Pubblicazione: (2024)

R-Calculus, IV: Propositional Logic
di: Li, Wei, et al.
Pubblicazione: (2023)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Pubblicazione: (2025)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Pubblicazione: (2024)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Pubblicazione: (2024)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Pubblicazione: (2025)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Pubblicazione: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
di: Kagan, Evgeny, et al.
Pubblicazione: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Pubblicazione: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Pubblicazione: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Pubblicazione: (2025)

Philosophy of Mathematics in Antiquity and in Modern Times
di: Felgner, Ulrich
Pubblicazione: (2023)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Pubblicazione: (2023)