From modal logic to terminal coalgebras (Q5941165): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q127682297, #quickstatements; #temporary_batch_1722491441236 |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A final coalgebra theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Terminal coalgebras in well-founded set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4717366 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773852 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4495853 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3883467 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mongruences and cofree coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4355684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222950 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coalgebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An approach to object semantics based on terminal co-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal coalgebra: A theory of systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4869540 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127682297 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:57, 1 August 2024
scientific article; zbMATH DE number 1635330
Language | Label | Description | Also known as |
---|---|---|---|
English | From modal logic to terminal coalgebras |
scientific article; zbMATH DE number 1635330 |
Statements
From modal logic to terminal coalgebras (English)
0 references
20 August 2001
0 references
coalgebra
0 references
modal logic
0 references
terminal coalgebra
0 references
final coalgebra
0 references
polynomial functor
0 references