Comments on Predicative Logic.

Fernando Ferreira

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

Keyphrases

classical logic
automated reasoning
proof theory
computational properties
modal logic
formal theory
real time
social networks
expert systems
logic programs
logic programming
logical framework
epistemic logic