- 74

- 0

## Main Question or Discussion Point

One of the ways we use the term

What exactly does it mean in modal logic? Would a statement like 1+1=2 be considered possible in modal logic or necessary or both?

**possibility**is*"We can go to Mars"*. Another way is*"We may learn how to travel to Mars faster than light as our understanding of physics progresses"*.What exactly does it mean in modal logic? Would a statement like 1+1=2 be considered possible in modal logic or necessary or both?