A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
We present sound and complete prefixed tableaux systems for various modal logics with enriched languages including the "difference" modal operator ] and the "only if" modal operator [-R]. These logics are of special interest in Artificial Intelligence since their expressive power is higher than the standard modal logics and for most of them the satisfiability problem remains decidable. We also include in the paper decision procedures based on these systems. In the conclusion, we relate our workdblp:conf/ijcai/BalbianiD97 fatcat:3pachq7cgbhd7ftrj65c7rg7ii