An institutional approach to positive coalgebraic logic

Article Properties
Cite
Balan, Adriana, et al. “An Institutional Approach to Positive Coalgebraic Logic”. Journal of Logic and Computation, 2015, p. exv074, https://doi.org/10.1093/logcom/exv074.
Balan, A., Kurz, A., & Velebil, J. (2015). An institutional approach to positive coalgebraic logic. Journal of Logic and Computation, exv074. https://doi.org/10.1093/logcom/exv074
Balan, Adriana, Alexander Kurz, and Jiří Velebil. “An Institutional Approach to Positive Coalgebraic Logic”. Journal of Logic and Computation, 2015, exv074. https://doi.org/10.1093/logcom/exv074.
Balan A, Kurz A, Velebil J. An institutional approach to positive coalgebraic logic. Journal of Logic and Computation. 2015;:exv074.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Positive fragments of coalgebraic logics 2015
Expressivity of coalgebraic modal logic: The limits and beyond Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 37 2008
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages 1998
Positive Fragments of Coalgebraic Logics 2013
Finitary Functors: from Set to Preord and Poset 2011