|
|||||
|
|
The elimination of de re formulas |
|
| Authors: | Kaminski Michael |
| Institution: | (1) Department of Computer Science, Technion – Israel Institute of Technology, Haifa, 32000, Israel |
| Abstract: | It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme   x  x. |
| Keywords: | modal logics de re and de dicto formulas Kripke semantics |
| 本文献已被 SpringerLink 等数据库收录！ | |