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

48 031 (0,331s) •

Result

On Semantic Games for Łukasiewicz Logic

We explore different ways to generalize Hintikka’s classic game theoretic semantics to a many-valued setting, where the unit interval is taken as the set of truth. Among the described semantic games is Gil...

Economic Theory

  • 2018
    • •
  • C
    • •
  • Link
Result

Games: Unifying Logic, Language, and Philosophy

, Hintikka style game-theoretic semantics, game-theoretical models of various domains (including natural language) and logical analysis of game-theoretic situations.The volume presents ma...

AA - Filosofie a náboženství

  • 2009
    • •
  • B
Result

Towards Evaluation Games for Fuzzy Logics. Chapter 6

The article provides two kinds of game-theoretical semantics for fuzzy logics a semantics in the form of a bargaining game. Finally, a basic kind of logic of the evaluation games for classical log...

BA - Obecná matematika

  • 2009
    • •
  • C
Result

"Logica ludus"

then play certain games ('of justification'), represented by statements of the corresponding calculi. The paper discusses two variants of such 'game-theoretical' approach to logic: Hintikka's game-theoretical<...

AA - Filosofie a náboženství

  • 2006
    • •
  • D
Result

Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games

In this contribution we apply fuzzy neighborhood semantics to multiple agents' reasoning about each other's subjective probabilities, especially in game-theoretic situations. The semantic model enables representing...

Computer and information sciences

  • 2020
    • •
  • D
    • •
  • Link
Result

Manyval 2013: Games, decisions and rationality

on: Game-theoretic semantics of many-valued logics; Algebraic semantics of many-valued...

BA - Obecná matematika

  • 2013
    • •
  • W
    • •
  • Link
Result

Games and the meaning of logical connectives

captured in the game interpretation of the corresponding logical systems and on the adequacy of the game thoretical framework for characterising these differences....

AA - Filosofie a náboženství

  • 2005
    • •
  • D
Result

Game Semantics in Teaching of Classical First Order Predicate Logic to Students of Computer Science

Main topics of the document: game semantics; alternating quantification; restricted quantification...

Education, general; including training, pedagogy, didactics [and education systems]

  • 2018
    • •
  • D
    • •
  • Link
Result

Equilibrium Semantics for IF Logic and Many-Valued Connectives

We connect two different forms of game based semantics: Hintikka’s game for Independence Friendly logic (IF logic) and Giles’s game for Lukasiewicz logic. An interpretation of truth values in [0, 1] as equilibrium ...

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

  • 2017
    • •
  • D
    • •
  • Link
Result

Using DBpedia to create a strategic (knowledge) game

Basic themes of document: DBpedia; strategic game; linked data; semantic web...

IN - Informatika

  • 2015
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 48 031