All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

9 381 (0,142s) •

Result

Expressivity of Coalgebraic Logic over Posets

Most of coalgebraic logic so far has focussed on set-coalgebras and their Boolean logics. Here we start a systematic investigation of coalgebras over posets and set ourselves the modest aim to show how to ...

BA - Obecná matematika

  • 2010
    • •
  • D
Result

Expressiveness of positive coalgebraic logic

From the point of view of modal logic, coalgebraic logic >> over posets is the natural coalgebraic generalisation of positive >> modal logic. From the point of view of coalgebra, >> posets arise i...

BA - Obecná matematika

  • 2012
    • •
  • D
Result

An institutional approach to positive coalgebraic logic

Positive modal logic, as introduced by Dunn in 1995, is the negation-free fragment of the standard modal logic of all Kripke frames. Positive coalgebraic logic coalgebraic modal logic as instituti...

Pure mathematics

  • 2017
    • •
  • Jimp
    • •
  • Link
Result

Strongly complete logics for coalgebras

The paper focuses on a uniform account of finitary logics for set-based coalgebras. There is presented a general construction which turns out to be strongly complete....

BA - Obecná matematika

  • 2012
    • •
  • Jx
    • •
  • Link
Result

Expressivity of Many-Valued Modal Logics, Coalgebraically

We apply methods developed to study coalgebraic logic to investigate expressivity of many-valued modal logics which we consider as coalgebraic languages interpreted over set-coalgebras with many-valued val...

BA - Obecná matematika

  • 2016
    • •
  • D
    • •
  • Link
Result

Proof systems for Moss' coalgebraic logic

We study Gentzen-style proof theory of the finitary version of the coalgebraic logic introduced by L. Moss. The logic captures the behaviour of coalgebras for a large class of set functors. The syntax of the lo...

IN - Informatika

  • 2014
    • •
  • Jx
    • •
  • Link
Result

Positive Fragments of Coalgebraic Logics

to fixed-point logics, it is note-worthy that the positive coalgebraic logicPositive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His c...

BA - Obecná matematika

  • 2013
    • •
  • D
    • •
  • Link
Result

Distributive substructural logics as coalgebraic logics over posets

logics coalgebraically, >> thus opening a possibility to study them as coalgebraic >> logics. As an application of this approach we prove >> a general version of Goldblatt-Thomason theorem >> that characterizes de...

BA - Obecná matematika

  • 2012
    • •
  • D
Result

Positive fragments of coalgebraic logics

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists. In this paper, we provide a coalgebraic analysis of this theorem, ...

BA - Obecná matematika

  • 2015
    • •
  • Jx
    • •
  • Link
Result

Moss' Logic for Ordered Coalgebras

We present a finitary version of Moss’ coalgebraic logic for T-coalgebras maps. The logic uses a single cover modality whose arity is given by the least finitary subfunctor of the dual of the coalgebra fun...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022
    • •
  • Jimp
    • •
  • Link
  • 1 - 10 out of 9 381