A First-Order Inquisitive Semantics.

Ivano Ciardelli

Published in: Amsterdam Colloquium on Logic, Language and Meaning (2009)

Keyphrases

sound and complete with respect
conditional logic
model theoretic
first order logic
formal semantics
higher order
semantic information
logical theories
conceptual model
predicate calculus
description logics
nonmonotonic reasoning
active rules
operational semantics
argumentation semantics
term rewriting