Logic Symbols Expressions Symbolized Modal Logic □ It is necessary that .. ◊ It is possible that … Deontic Logic O It is obligatory that … P It is permitted that … F It is forbidden that … Temporal Logic G It will always be the case that … F It will be the case that … H It has always been the case that … P It was the case that … Doxastic Logic Bx x believes that …
No comments:
Post a Comment