Browsing by Author Costa, Diana

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)TypeAccess Type
1-Apr-2019On Herbrand’s Theorem for Hybrid LogicCosta, Diana; Martins, Manuel; Marcos, JoãoarticleembargoedAccess
1-Sep-2017Paraconsistency in hybrid logicCosta, Diana; Martins, Manuel A.articleopenAccess
12-Jun-2016A tableau system for Quasi-hybrid logicCosta, Diana; Martins, Manuel A.bookPartopenAccess