Completeness for flat modal fixpoint logics (Q638475): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.apal.2010.07.003 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Rudiments of \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4717366 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods for the Design of Real-Time Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix and matricial iteration theories. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une condition impliquant toutes les identités rationnelles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedures and expressiveness in the temporal logic of branching time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4525781 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relation algebras by games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata for the modal μ-calculus and related results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A completeness theorem for Kleene algebras and the algebra of regular events / rank
 
Normal rank
Property / cites work
 
Property / cites work: An elementary proof of the completeness of PDL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete systems of \(\mathcal B\)-rational identities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3085167 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic Automata Theory: Basic Results / rank
 
Normal rank
Property / cites work
 
Property / cites work: The representation of relational algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Varieties Containing Relation Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4858037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nabla Algebras and Chu Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal coalgebra: A theory of systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the equational definition of the least prefixed point. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completions of \(\mu \)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3337453 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata and fixed point logic: a coalgebraic perspective / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus. / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2010.07.003 / rank
 
Normal rank

Latest revision as of 23:18, 9 December 2024

scientific article
Language Label Description Also known as
English
Completeness for flat modal fixpoint logics
scientific article

    Statements

    Completeness for flat modal fixpoint logics (English)
    0 references
    0 references
    0 references
    12 September 2011
    0 references
    fixpoint logic
    0 references
    modal logic
    0 references
    axiomatization
    0 references
    completeness
    0 references
    modal algebra
    0 references
    representation theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers