Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality
user132181
- 1.1k
- 2
- 10
- 26
