Modal Predicates and Coequations (Q2842557): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Alexander Kurz / rank | |||
Property / author | |||
Property / author: Alexander Kurz / rank | |||
Normal rank | |||
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: From Varieties of Algebras to Covarieties of Coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996444 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-Cotripleable Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational and implicational classes of coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functors for coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4355684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4533390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5599205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4123496 / 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: The Birkhoff theorem for finite algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic theories and varieties of functor algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational axiomatizability for coalgebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4349279 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:03, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal Predicates and Coequations |
scientific article |
Statements
Modal Predicates and Coequations (English)
0 references
15 August 2013
0 references