Protoalgebraic logics.

Willem J. Blok Don Pigozzi

Published in: Stud Logica (1986)

Keyphrases

expressive power
modal logic
inference rules
proof theory
propositional calculus
genetic algorithm
artificial intelligence
multiscale
coalition logic
machine learning
decision making
higher order
classical logic
decision procedures
epistemic logic