No label defined (Q5021004)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7455742

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7455742

Statements

scholarly article

0 references

0 references

0 references

Raine Rönnholm

0 references

publication date

11 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2009.10880

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2020.6

0 references

MaRDI profile type

MaRDI publication profile

0 references

First-cycle games

0 references

Permissive strategies: from parity games to safety games

0 references

0 references

Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking

0 references

Game-Theoretic Semantics for Alternating-Time Temporal Logic

0 references

Rational coordination with no communication or conventions

0 references

Alternating-time temporal logic ATL with finitely bounded semantics

0 references

Formula size games for modal logic and μ-calculus

0 references

0 references

Results on the propositional \(\mu\)-calculus

0 references

From Liveness to Promptness

0 references

Some Turing-Complete Extensions of First-Order Logic

0 references

0 references

An automata theoretic decision procedure for the propositional mu- calculus

0 references

Bounded semantics

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5021004

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