TATL: Implementation of ATL Tableau-Based Decision Procedure

DOI10.1007/978-3-642-40537-2_10zbMath1401.68276OpenAlexW2168797178MaRDI QIDQ2851937

Amélie David

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_10

zbMATH Keywords

tableauxtheorem proveralternating-time temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (4)

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺ ⋮ Ordered Resolution for Coalition Logic ⋮ COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) ⋮ TATL

This page was built for publication: TATL: Implementation of ATL Tableau-Based Decision Procedure