Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
1-Sep-2017 | Paraconsistency 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 | |
2020 | A four-valued hybrid logic with non-dual modal operators | Costa, Diana; Martins, Manuel A. | bookPart | |
1-Apr-2019 | On Herbrand’s Theorem for Hybrid Logic | Costa, Diana; Martins, Manuel A.; Marcos, João | article | |
Jun-2021 | Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic | Costa, Diana; Martins, Manuel A. | article | |
15-Mar-2023 | Relation-changing models meet paraconsistency | Costa, Diana; Figueiredo, Daniel; Martins, Manuel A. | article |
Results 1-6 of 6 (Search time: 0.002 seconds).
- previous
- 1
- next
Discover
Subject