Grzegorczyk's Logics. Part I.

Taneli Huuskonen

Published in: Formaliz. Math. (2015)

Keyphrases

expressive power
modal logic
table of contents
inference rules
epistemic logic
classical logic
genetic algorithm
nonmonotonic logics
natural language
real time
multiscale
case study
computational properties
information systems
proof theory
propositional calculus
coalition logic