Inquisitive team semantics of LTL

DOI10.1007/978-3-032-22730-0_6MaRDI QIDQ7317478zbMATH OpenFDO

Authors Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano

Publication date 24 August 2026

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-22730-0_6

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A temporal logic for asynchronous hyperproperties
• Algorithms for model checking HyperLTL and HyperCTL^*
• Alternation Elimination by Complementation (Extended Abstract)
• An automata-theoretic approach to branching-time model checking
• Asynchronous extensions of hyperLTL
• Bisimulation in inquisitive modal logic
• Coherence in inquisitive first-order logic
• Completeness for the classical antecedent fragment of inquisitive first-order logic
• Constructivism in mathematics. An introduction. Volume I
• Decidability of inquisitive modal logic via filtrations
• Dependency as question entailment
• Describing neighborhoods in inquisitive modal logic
• Diagnosability of discrete-event systems
• Diagnosability of fair transition systems
• Disjunction and existence properties in inquisitive first-order logic
• Free choice in modal inquisitive logic
• From IF to BI. A tale of dependence and separation
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 6307933 (Why is no real title available?)
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• scientific article; zbMATH DE number 7799630 (Why is no real title available?)
• Inquisitive dynamic epistemic logic
• Inquisitive Logic
• Inquisitive logic
• Intuitionistic linear temporal logics
• Lectures on the Curry-Howard isomorphism
• On the complexity of linear temporal logic with team semantics
• Propositional Dynamic Logic for Hyperproperties
• Propositional dynamic logic of regular programs
• Propositional inquisitive logic: a survey
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• Team semantics for the specification and verification of hyperproperties
• Temporal team semantics revisited
• The complementation problem for Büchi automata with applications to temporal logic
• The complexity of second-order HyperLTL
• The hierarchy of hyperlogics
• Unifying hyper and epistemic temporal logics
• “Sometimes” and “not never” revisited

This page was built for publication: Inquisitive team semantics of LTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7317478)