Modal logic
Incomplete Information: Structure, Inference, Complexity
Incomplete Information: Structure, Inference, Complexity
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
| Hi-index | 0.00 |
A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ --- always necessary, $${\square^\exists}$$ --- sometimes necessary, and their duals --- $${\diamondsuit^\forall}$$ --- always possibly, and $${\diamondsuit^\exists}$$ --- sometimes possibly. We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.