No label defined (Q5014445)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7437712

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

Statements

scholarly article

0 references

Helle Hvid Hansen

0 references

0 references

publication date

2 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1509.03017

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.9

0 references

MaRDI profile type

MaRDI publication profile

0 references

Game logic is strong enough for parity games

0 references

0 references

A Coalgebraic Approach to Linear-Time Logics

0 references

Propositional dynamic logic of regular programs

0 references

Algebra and Coalgebra in Computer Science

0 references

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

0 references

A Recipe for State-and-Effect Triangles

0 references

Dijkstra and Hoare monads in monadic computation

0 references

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

0 references

An elementary proof of the completeness of PDL

0 references

Coalgebraic semantics of modal logics: an overview

0 references

0 references

0 references

Game logic -- an overview

0 references

Universal coalgebra: A theory of systems

0 references

STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS

0 references

A finite model construction for coalgebraic modal logic

0 references

Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5014445

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