← Back to Home

Computational Perspectives

Thematic Editor

• Balder ten Cate

Preliminary Chapters and Authors

• Temporal logic and verification - Authors: Stéphane Demri
• Modal logics and machine learning - Authors: Antti Kuusisto, Carsten Lutz
• Decidable fragments - Authors: Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera
• Modal fixpoint logics - Authors: Yde Venema