Expressive logics for coalgebras via terminal sequence induction (Q558417): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraically compact functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4304740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3883467 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural induction and coinduction in a fibrational setting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4533390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specifying coalgebras with modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Accessible Categories: The Foundations of Categorical Model Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2762529 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499303 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From modal logic to terminal coalgebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal coalgebra: A theory of systems / rank
 
Normal rank

Revision as of 12:21, 10 June 2024

scientific article
Language Label Description Also known as
English
Expressive logics for coalgebras via terminal sequence induction
scientific article

    Statements

    Expressive logics for coalgebras via terminal sequence induction (English)
    0 references
    0 references
    6 July 2005
    0 references
    coalgebraic behavioral equivalence
    0 references
    coalgebraic modal logic
    0 references
    coalgebras
    0 references
    predicate liftings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references