Inquisitive Team Semantics of LTL

Lecture notes in computer science 2026 Open access

Read full text
Authors: Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
DOI: 10.1007/978-3-032-22730-0_6
Cited by: 0

Fields of Study & Subjects

Logic Reasoning and Knowledge Semantic Web and Ontologies programming and type systems

Publication details

Journal / source
Lecture notes in computer science
Pages
110–132
Publication date
1 January 2026
Language
EN