| 11. | Some of these types of logic have been called modal logics.
|
| 12. | Intuitionistic modal logic treats possibility and necessity as not perfectly symmetric.
|
| 13. | This chapter and the subsequent ones are at the origin of modal logic.
|
| 14. | The mathematical structure of modal logic, namely Boolean algebras and topology.
|
| 15. | Alvin Plantinga presents an argument for the existence of God using modal logic.
|
| 16. | He is author of " Modal Logic for Philosophers " by Cambridge University Press.
|
| 17. | The modal logic S4 is a model of interior algebra.
|
| 18. | These possible worlds arise in the field of modal logic.
|
| 19. | He has made significant contributions in the study of modal logic and formal semantics.
|
| 20. | Description Logic is related to but developed independently of modal logic ( ML ).
|
