共 50 条
- [31] HEIGHT OF VALUATIONS IN NON-DETERMINISTIC SEMANTICS FOR MODAL LOGIC JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (04): : 587 - 601
- [33] Non-associative, Non-commutative Multi-modal Linear Logic AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 449 - 467
- [34] On the Modal Logic of the Non-orthogonality Relation Between Quantum States Journal of Logic, Language and Information, 2018, 27 : 157 - 173
- [37] HEIGHT OF VALUATiONS IN NON-DETERMINISTIC SEMANTICS FOR MODAL LOGIC. Journal of Applied Logics, 2023, 10 (04): : 587 - 601
- [39] NON-EQUIVALENT FORMULAS IN ONE VARIABLE IN A STRONG OMNITEMPORAL MODAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (02): : 111 - 112
- [40] Maximally permissive controlled system synthesis for non-determinism and modal logic DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (01): : 109 - 142