Decidability and Expressivity of Ockhamist Propositional Dynamic Logics.

Joseph Boudou Emiliano Lorini

Published in: JELIA (2016)

Keyphrases

computational properties
expressive power
description logics
data sets
dynamic environments
propositional logic
artificial intelligence
relational databases
first order logic
modal logic
default logic
multi valued