On a categorical framework for coalgebraic modal logic (Q283748): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Normalize DOI.
 
(6 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.entcs.2014.10.007 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.007 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2055999172 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q113317848 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4044767 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On final coalgebras of continuous functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modular construction of complete coalgebraic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Fusion of Coalgebraic Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation for labelled Markov processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exemplaric Expressivity of Modal Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5419889 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847816 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stone coalgebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modalities in the Stone age: a comparison of coalgebraic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Presenting functors on many-sorted varieties and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly Complete Logics for Coalgebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Predicate Liftings Versus Nabla Modalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coalgebraic logic / 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: Expressive logics for coalgebras via terminal sequence induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressivity of coalgebraic modal logic: the limits and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational presentations of functors and monads / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.ENTCS.2014.10.007 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:22, 9 December 2024

scientific article
Language Label Description Also known as
English
On a categorical framework for coalgebraic modal logic
scientific article

    Statements

    On a categorical framework for coalgebraic modal logic (English)
    0 references
    0 references
    0 references
    13 May 2016
    0 references
    predicate liftings
    0 references
    coalgebras
    0 references
    coalgebraic logic
    0 references
    modal logic
    0 references
    Stone duality
    0 references
    compositionality
    0 references
    expressivity
    0 references

    Identifiers