Login / Signup
Characterization and definability in modal first-order fragments
Facundo Carreiro
Published in:
CoRR (2010)
Keyphrases
</>
finite model theory
mazurkiewicz traces
first order logic
temporal logic
modal logic
propositional logic
fixed point
higher order
database theory
quantifier elimination
stochastic dominance
information retrieval
knowledge representation
expressive power
nonmonotonic logics