Definability and Computability for PRSPDL.

Philippe Balbiani Tinko Tinchev

Published in: Advances in Modal Logic (2014)

Keyphrases

fixed point
propositional logic
finite model theory
databases
artificial intelligence
computer vision
search algorithm
multi agent systems
dynamical systems