Layered Logics, Coalgebraically.

Luís Soares Barbosa

Published in: DALI@TABLEAUX (2017)

Keyphrases

modal logic
expressive power
inference rules
epistemic logic
genetic algorithm
artificial intelligence
mobile robot
nonmonotonic logics
proof theory
proof theoretic
propositional dynamic logic