All
All

What are you looking for?

All
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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

660 projects (0,138s) •

Project

Proof theory of modal coalgebraic logic (GPP202/11/P304)

As eqational logic is considered to be the logic of algebras, modal logic (such as automata). The aim of the proposed project is to study modal logics developed to reason aboutcoalgebras. We conce...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
Project

Metamathematics of substructural modal logics (GA22-01137S)

Classical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning about the modes of truth, such...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
Project

Metaphysics as the science of the modalities of being (IAA900090602)

of modalities: logical, ontological, causal, temporal, physical and thus contributeto problems of modalities leads to the enrichment of logic and logical semanticsasThe research aims at systematic study o...

AA - Filosofie a náboženství

  • 2006 - 2008
    • •
  • 563 tis. Kč
    • •
  • 563 tis. Kč
    • •
  • AV ČR
Project

Epistemic logics and reasoning about knowledge (GA401/04/1199)

of modal logic. Epistemic logic is then understood as a formal modal logic with special epistemic axioms. Underlying modal logic is about both modalities of possibilityIn the si...

AA - Filosofie a náboženství

  • 2004 - 2006
    • •
  • 285 tis. Kč
    • •
  • 285 tis. Kč
    • •
  • GA ČR
Project

Modal and Many-valued Logics (GA401/01/0218)

We will study theoretical foundations of modern logical systems which are essentially based on more than two truth-values and we will confront them with possibility and necessity modalities and also with other modalities, s...

AA - Filosofie a náboženství

  • 2001 - 2003
    • •
  • 585 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Probabilistic reasoning in late scholastic logic (GA17-12408S)

of probabilistic evidence in baroque scholasticism, late scholastic logic concept of probability as a logical modality, probabilistic interpretation of logical consequence in scholastic logic and late sch...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 896 tis. Kč
    • •
  • 896 tis. Kč
    • •
  • GA ČR
Project

Many-valued logics for soft computing (GA201/02/1540)

The project represents basic research of mathematical properties of many-valued logics (fuzzy logics, modal logics, etc.). It should contribute to the theoretical foundation of logic and to the improvement...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 1 817 tis. Kč
    • •
  • 990 tis. Kč
    • •
  • GA ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of techn...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030601)

) and uncertainty as degrees of belief, logical systems are being developed and investigated that formalize both. The main formal means are many-valued logics and (generalized) modal logics, understood as systems o...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 2 909 tis. Kč
    • •
  • 859 tis. Kč
    • •
  • AV ČR
Project

Logical foundations of semantics and knowledge representation (GD401/03/H047)

as non-classical (including many-valued logics, modal logics, epistemic, deonticIn this project we will study logical calculi suitable for new aspects of information and knowledge together with their logical

AA - Filosofie a náboženství

  • 2003 - 2007
    • •
  • 8 523 tis. Kč
    • •
  • 8 523 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 660