共 50 条
- [2] MODAL LOGIC IN INTEGRATIVE PHILOSOPHICAL PRACTICE PHILOSOPHY AND SOCIETY-FILOZOFIJA I DRUSTVO, 2023, 34 (03): : 424 - 437
- [8] An intuitionistic modal logic with applications to the formal verification of hardware COMPUTER SCIENCE LOGIC, 1995, 933 : 354 - 368