Expressiveness Results for Timed Modal Mu-Calculi.

Rance Cleaveland Jeroen J. A. Keiren Peter Fontana

Published in: CoRR (2023)

Keyphrases

petri net
modal logic
expressive power
sequent calculi
timed automata
development environment
discrete event
nonmonotonic logics
computational properties
reasoning problems
artificial intelligence
description logics
random walk
spatial information
qualitative spatial