Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

4 027 (0,075s)

Výsledek výzkumu

Interpolation in Linear Logic and Related Systems

Pure mathematics

  • 2024
  • Jimp
  • Odkaz
Výsledek výzkumu

Non?classical epistemic logics

AA - Filosofie a náboženství

  • 2012
  • W
Výsledek výzkumu

Knowledge is a Diamond

Philosophy, History and Philosophy of science and technology

  • 2017
  • D
  • Odkaz
Výsledek výzkumu

Epistemic Logics for Skeptical Agents

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

  • 2016
  • Jimp
  • Odkaz
Výsledek výzkumu

Prague Workshop on Group Attitudes

Philosophy, History and Philosophy of science and technology

  • 2017
  • W
Výsledek výzkumu

Epistemic logics for sceptical agents

AA - Filosofie a náboženství

  • 2016
  • Jx
  • Odkaz
Výsledek výzkumu

Prague Seminar on Substructural Logics

IN - Informatika

  • 2014
  • W
  • Odkaz
Výsledek výzkumu

Relevant Agents

BA - Obecná matematika

  • 2010
  • D
Výsledek výzkumu

Epistemic Extensions of Substructural Inquisitive Logics

Pure mathematics

  • 2021
  • Jimp
  • Odkaz
Výsledek výzkumu

Neighbourhood Semantics for Quantified Relevant Logics

Philosophy, History and Philosophy of science and technology

  • 2022
  • Jimp
  • Odkaz
  • 1 - 10 z 4 027