Skip to main content

All Questions

1 vote
3 answers
127 views

A question on the belief operator in Doxastic Logic

Let Bp be the statement "it is believed that p". Why is ~Bp not equivalent to B~p? in words it amounts of saying that: "it's not believed that p" equivalent to "it's believed ...
MathematicalPhysicist's user avatar
1 vote
0 answers
22 views

Is division of propositions by their modality comprehensive?

I call division of any concept comprehensive if the combination of concepts received by such division has a scope congruent (containing exactly the same objects) to the scope of the divided concept. ...
Rusurano's user avatar
  • 133
-1 votes
1 answer
319 views

what is meaning of accessibility of possible worlds?

I have a question about the notion of possibility in modal logic. There are systems and worlds with this notion. They say that a world w1 is accessible to an other world w2 if and only if for any true ...
MHghasemi's user avatar