Proof systems for the coalgebraic cover modality.

Marta Bílková Alessandra Palmigiano Yde Venema

Published in: Advances in Modal Logic (2008)

Keyphrases

multi modal
artificial intelligence
management system
expert systems
distributed systems
neural network
multi agent
medical images
intelligent systems
knowledge based systems
retrieval systems
computing systems