Normal Bimodal Logics of Ability and Action.

Published in: Stud Logica (1992)

Keyphrases

expressive power
information systems
social networks
real time
neural network
data mining
artificial intelligence
modal logic