Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure.

Susumu Yamasaki Mariko Sasakura

Published in: COMPLEXIS (2020)

Keyphrases

algebraic structure
numerical analysis
algebraic operations
presburger arithmetic
vector space
modal logic
multi agent systems
probability theory
neural network
multi agent
random variables
computational framework