Many-Valued Tense Logic and the Problem of Determinism.

Kazimierz Trzesicki

Published in: ISMVL (1990)

Keyphrases

modal logic
truth values
classical logic
multi valued
inference rules
predicate logic
proof theory
digital circuits
logic programming
machine learning
temporal logic
set theory
epistemic logic
conceptual clustering
video sequences
databases
database