Browsing by Subject Tableaux system
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| Jun-2021 | Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic | Costa, Diana; Martins, Manuel A. | article |  |
| 12-Jun-2016 | A tableau system for Quasi-hybrid logic | Costa, Diana; Martins, Manuel A. | bookPart |  |