“multi-modal logic”的概念、定义、翻译、参考文献-科学参考

multi-modal logic

Logic

A modal logic in which more than one primitive modal operator is employed. For example, formalizing the principle of Kant’s law that what is obligatory must also be possible typically involves a bimodal logic with a deontic operator $O$ (for ‘…is obligatory’) and an alethic modal operator $□$ (for ‘…is necessary’). Multi-modal logics can have arbitrarily many modalities, e.g., an epistemic logic with a knowledge operator $K_{m}$ for each of $n$ many agents.

单词	multi-modal logic
释义	multi-modal logic Logic A modal logic in which more than one primitive modal operator is employed. For example, formalizing the principle of Kant’s law that what is obligatory must also be possible typically involves a bimodal logic with a deontic operator $O$ (for ‘…is obligatory’) and an alethic modal operator $□$ (for ‘…is necessary’). Multi-modal logics can have arbitrarily many modalities, e.g., an epistemic logic with a knowledge operator $K_{m}$ for each of $n$ many agents.
随便看	phase rotator phase rule phase separation phase sequence phase shift phase shift keying phase-shift oscillator phases of the moon phase space phase speed phase splitter phase-switching interferometer phase transition phase transitions in the mantle phase-type distribution phase variation phase velocity phase voltage phasing phasor phatic pheasant Phecda phellem phelloderm