Completeness for flat modal fixpoint logics
type: Item
instance of: scholarly article
title: Completeness for flat modal fixpoint logics
zbMATH Open document ID: 1225.03020
author: Luigi Santocanale
author: Yde Venema
published in: Annals of Pure and Applied Logic
publication date: 2011-09-12T00:00:00Z
full work available at URL: completeness-for-flat-modal-fixpoint-logics(5606606a-7490-402f-8045-ef0a7c397084).html
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 06E25
zbMATH DE Number: 5947121
zbMATH Keywords: fixpoint logic
zbMATH Keywords: modal logic
zbMATH Keywords: axiomatization
zbMATH Keywords: completeness
zbMATH Keywords: modal algebra
zbMATH Keywords: representation theorem
describes a project that uses: Uppaal
describes a project that uses: SPIN
MaRDI profile type: Publication
OpenAlex ID: W2516028194
cites work: Rudiments of \(\mu\)-calculus
cites work: Q4717366
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Q3086937
cites work: Modal logic
cites work: Matrix and matricial iteration theories. I
cites work: Une condition impliquant toutes les identités rationnelles
cites work: Axioms for tense logic. I: 'Since' and 'until'
cites work: Q5639639
cites work: Decision procedures and expressiveness in the temporal logic of branching time
cites work: Q4385542
cites work: Q4845472
cites work: Normal forms in modal logic
cites work: Q4525781
cites work: Relation algebras by games
cites work: Q4003410
cites work: Automata for the modal μ-calculus and related results
cites work: Results on the propositional \(\mu\)-calculus
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: An elementary proof of the completeness of PDL
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: Q3085167
cites work: Coalgebraic Automata Theory: Basic Results
cites work: The representation of relational algebras
cites work: Some Varieties Containing Relation Algebras
cites work: Q4858037
cites work: Coalgebraic logic
cites work: Nabla Algebras and Chu Spaces
cites work: Universal coalgebra: A theory of systems
cites work: On the equational definition of the least prefixed point.
cites work: Completions of \(\mu \)-algebras
cites work: Q3337453
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Automata and fixed point logic: a coalgebraic perspective
cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
DOI: 10.1016/J.APAL.2010.07.003
description: scientific article; zbMATH DE number 5947121