Alternating-time temporal logics with linear past

DOI10.1016/J.TCS.2019.11.028MaRDI QIDQ1989330zbMATH OpenOpenAlexFDO

Authors Laura Bozzelli, Aniello Murano, Loredana Sorrentino

Publication date 21 April 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2019.11.028

zbMATH Keywords

alternating-time temporal logicformal verificationlogics with past modalitiesmulti-agent systemsstrategic reasoning

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Results on alternating-time temporal logics with linear past
• Relentful strategic reasoning in alternating-time temporal logic
• Relentful strategic reasoning in alternating-time temporal logic
• ATL with Strategy Contexts and Bounded Memory
• Alternating-time logic with imperfect recall

Cites work

• \textit{Once} and \textit{for all}
• A hierarchy of temporal logics with past
• Alternating-time temporal logic
• Alternation
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• An automata-theoretic approach to branching-time model checking
• ATL with Strategy Contexts and Bounded Memory
• ATL* Satisfiability Is 2EXPTIME-Complete
• Automata for the modal -calculus and related results
• Characterising responsibility in organisational structures: the problem of many hands
• Coalitional responsibility in strategic settings
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 4027441 (Why is no real title available?)
• scientific article; zbMATH DE number 1223729 (Why is no real title available?)
• scientific article; zbMATH DE number 1775458 (Why is no real title available?)
• scientific article; zbMATH DE number 7297884 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• Modeling the problem of many hands in organisations
• On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Reasoning about infinite computations
• Reasoning about strategies: on the model-checking problem
• Reasoning about strategies: on the satisfiability problem
• Reducing validity in epistemic ATL to validity in epistemic CTL
• Relentful strategic reasoning in alternating-time temporal logic
• Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
• Specification in CTL + past for verification in CTL.
• Strategy logic
• The Complexity of CTL* + Linear Past
• The Complexity of Enriched Mu-Calculi
• The complexity of propositional linear temporal logics in simple cases
• “Sometimes” and “not never” revisited

Cited in

(12)

• Past is for free: On the complexity of verifying linear temporal properties with past
• Alternative semantics for temporal logics
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Relentful strategic reasoning in alternating-time temporal logic
• Relentful strategic reasoning in alternating-time temporal logic
• A Paraconsistent Linear-time Temporal Logic
• Alternating-time temporal logic
• A separation theorem for discrete-time interval temporal logic
• Results on alternating-time temporal logics with linear past
• An algebraic study of tense logics with linear time
• Graded Alternating-Time Temporal Logic
• Reasoning about group responsibility for exceeding risk threshold in one-shot games

Describes a project that uses

Uses Software

• MCMAS

This page was built for publication: Alternating-time temporal logics with linear past

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