Relation-Changing Logics as Fragments of Hybrid Logics.

Carlos Areces Raul Fervari Guillaume Hoffmann Mauricio Martel

Published in: GandALF (2016)

Keyphrases

expressive power
modal logic
classical logic
inference rules
propositional calculus
multiscale
nonmonotonic logics
conditional logic
epistemic logic
proof theory
machine learning
logic programming
case study
real time
changing environment
search engine
computational properties