Many-Valued Logic of Informal Provability: a non-Deterministic Strategy.

Pawel Pawlowski Rafal Urbaniak

Published in: Rev. Symb. Log. (2018)

Keyphrases

modal logic
truth values
logic programming
databases
temporal logic
black box
information retrieval
search engine
social networks
optimal strategy
predicate logic
real time
neural network
selection strategy
probabilistic logic
logical framework