| Title |
Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti / |
| Translation of Title |
Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics. |
| Authors |
Andrikonis, Julius |
| Full Text |
|
| Pages |
32 |
| Keywords [eng] |
modal logic ; termination ; proof-search |
| Abstract [eng] |
In the dissertation epistemic logics with central agent interaction axiom are analysed. The research covers multimodal logics Kn, Tn, K4n and S4n. The aim of the work is finite derivation search sequent calculi for the mentioned logics. A new method to obtain the termination of derivation search is presented in the thesis and this method is applied to the mentioned logics as well as to monomodal logics K4 and S4. |
| Type |
Summaries of doctoral thesis |
| Language |
Lithuanian |
| Publication date |
2011 |
