Skip navigation
sign on to:
my account
receive email
updates
edit profile
language
Português
English
submit
communities
browse
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
help
Home
Search
Search:
All of DSpace
CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações
CIDMA - Algebra and Geometry Group
AGG - Artigos
AGG - Capítulo de livro
AGG - Comunicações
AGG - Livro
AGG - Relatórios
for
Current filters:
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Item hits:
Issue Date
Title
Author(s)
Type
Access Type
Dec-2019
Completeness in Equational Hybrid Propositional Type Theory
Manzano, Maria
;
Martins, Manuel A.
;
Huertas, Antonia
article
1-Sep-2017
Paraconsistency in hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
Jun-2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
2015
Completeness and decidability results for hybrid(ised) logics
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
14-Mar-2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
article
Jun-2019
Rigid first-order hybrid logic
Blackburn, Patrick
;
Martins, Manuel A.
;
Manzano, María
;
Huertas, Antonia
bookPart
5-Oct-2018
A logic for the stepwise development of reactive systems
Madeira, Alexandre
;
Barbosa, Luís S.
;
Hennicker, Rolf
;
Martins, Manuel A.
article
15-Dec-2016
A method for rigorous design of reconfigurable systems
Madeira, Alexandre
;
Neves, Renato
;
Barbosa, Luís S.
;
Martins, Manuel A.
article
Results 1-8 of 8 (Search time: 0.005 seconds).
previous
1
next
Discover
Author
8
Martins, Manuel A.
3
Barbosa, Luís S.
3
Madeira, Alexandre
3
Neves, Renato
2
Costa, Diana
2
Huertas, Antonia
1
Barbosa, Luis S.
1
Blackburn, Patrick
1
Hennicker, Rolf
1
Manzano, Maria
.
next >
Subject
1
Henkin models
1
Hilbert calculus
1
Inconsistency
1
Institutions
1
Measures of inconsistency
1
Modal operators
1
Paraconsistency
1
Propositional type theory
1
Reactive systems
1
Reconfigurable systems
.
< previous
next >
Date issued
1
2021
2
2019
1
2018
1
2017
2
2016
1
2015