Dynamic Logic. New Trends and Applications
portes grátis
Dynamic Logic. New Trends and Applications
5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Gierasimczuk, Nina; Velazquez-Quesada, Fernando R.
Springer International Publishing AG
01/2024
137
Mole
Inglês
9783031517761
15 a 20 dias
Descrição não disponível.
A spatial logic with time and quantifiers.- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.- Axiomatization of Hybrid Logic of Link Variations.- Kleene Algebra of Weighted Programs With Domain.- Automated Quantum Program Verification in Dynamic Quantum Logic.- Predictive Theory of Mind Models Based on Public Announcement Logic.- Learning by Intervention in Simple Causal Domains.- A Logical Approach to Doxastic Causal Reasoning.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal logic;multiagent systems;software engineering;model checking;dynamic logic
A spatial logic with time and quantifiers.- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.- Axiomatization of Hybrid Logic of Link Variations.- Kleene Algebra of Weighted Programs With Domain.- Automated Quantum Program Verification in Dynamic Quantum Logic.- Predictive Theory of Mind Models Based on Public Announcement Logic.- Learning by Intervention in Simple Causal Domains.- A Logical Approach to Doxastic Causal Reasoning.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
