|
|||||
|
|
Extended disjunction and existence properties for some predicate modal logics |
|
| Authors: | Pliuskeviciene A |
| Affiliation: | Institute of Mathematics and Informatics, Akademijos 4, Vilnius 2600, Lithuania e-mail: aida@ktl.mii.lt |
| Abstract: | |
| Keywords: | modal logic sequent calculus disjunction and existenceproperties Harrop formula cut-free calculus logic of provability |
| 本文献已被 Oxford 等数据库收录！ | |