Topologies for intermediate logics.

Olivia Caramello

Published in: Math. Log. Q. (2014)

Keyphrases

expressive power
modal logic
inference rules
classical logic
artificial intelligence
expert systems
propositional calculus
real time
information retrieval
information systems
mobile robot
propositional dynamic logic