Towards a Logic for Pragmatics. Assertions and Conjectures.

Gianluigi Bellin Corrado Biasi

Published in: J. Log. Comput. (2004)

Keyphrases

automated reasoning
modal logic
knowledge base
formal semantics
theorem prover
logic programming
natural language processing
predicate logic
data structure
website
multiscale
real time
probabilistic logic
logical framework
computational properties
defeasible logic
linear logic
sound and complete axiomatization