Inquisitive Logic.

Ivano Ciardelli Floris Roelofsen

Published in: J. Philos. Log. (2011)

Keyphrases

predicate logic
modal logic
formal theory
natural language
relational databases
description logics
logic programming
real world
data mining
genetic algorithm
decision making
evolutionary algorithm
set theory
nonmonotonic logics
digital circuits