E-Book, Englisch, Band 13780, 155 Seiten, eBook
Areces / Costa Dynamic Logic. New Trends and Applications
1. Auflage 2023
ISBN: 978-3-031-26622-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
E-Book, Englisch, Band 13780, 155 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-26622-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
First steps in updating knowing how.- Parametrized modal logic II: the unidimensional case.- Relating Kleene algebras.- Dynamic epistemic logic for budget-constrained agents.- Action models for coalition logic.- Quantum logic for observation of physical quantities.- Cautious distributed belief.- A STIT logic of intentionality.