Synonymous Logics.

Francis Jeffry Pelletier Alasdair Urquhart

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

Keyphrases

expressive power
inference rules
modal logic
epistemic logic
classical logic
nonmonotonic logics
real world
clustering algorithm
database systems
image sequences
multiscale
information technology
decision procedures
proof theory
proof theoretic