Login / Signup
Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström
Juha Kontinen
Jouko A. Väänänen
Published in:
CoRR (2013)
Keyphrases
</>
modal logic
decision procedures
natural language
real world
conditional logic
computational properties
multi valued
logic programming
databases
truth values
delay insensitive
inference rules
case study
digital circuits
epistemic logic
proof theory
propositional dynamic logic