A Tableau for Bundled Strategies (Q3455759)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	A Tableau for Bundled Strategies	scientific article

Statements

scholarly article

0 references

A Tableau for Bundled Strategies (English)

0 references

John C. McCabe-Dansted

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

11 December 2015

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-24312-2_3

0 references

Alternating-time temporal logic

0 references

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+

0 references

A Tableau for Bundled CTL

0 references

A tableau-based decision procedure for CTL\(^*\)

0 references

ATL* Satisfiability Is 2EXPTIME-Complete

0 references

A Decision Procedure for CTL* Based on Tableaux and Automata

0 references

Axioms for Branching Time

0 references

On Non-local Propositional and Weak Monodic Quantified CTL*

0 references

A Tableau for Bundled Strategies

0 references

A Rooted Tableau for BCTL*

0 references

The Complexity of Tree Automata and Logics of Programs

0 references

0 references

Deciding full branching time logic

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-24312-2_3

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3455759

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3455759&oldid=36218103"