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
CIDMA - Complex and Hypercomplex Analysis Group
CIDMA - Functional Analysis and Applications Group
CIDMA - Gravitational Geometry and Dynamics Group
CIDMA - History of Mathematics and Mathematical Education Group
CIDMA - Optimization, Graph Theory and Combinatorics Group
CIDMA - Probability and Statistics Group
CIDMA - Systems and Control Group
CIDMA - Artigos
CIDMA - Capítulo de livro
CIDMA - Comunicações
CIDMA - Livro
CIDMA - Relatórios
for
Current filters:
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
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
2015
Completeness and decidability results for hybrid(ised) logics
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
2-Apr-2016
Reuse and integration of specification logics: the hybridisation perspective
Barbosa, Luís S.
;
Martins, Manuel A.
;
Madeira, Alexandre
;
Neves, Renato
bookPart
15-Dec-2016
A method for rigorous design of reconfigurable systems
Madeira, Alexandre
;
Neves, Renato
;
Barbosa, Luís S.
;
Martins, Manuel A.
article
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
Jun-2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
Results 1-9 of 9 (Search time: 0.003 seconds).
previous
1
next
Discover
Author
4
Barbosa, Luís S.
4
Madeira, Alexandre
4
Neves, Renato
2
Costa, Diana
2
Huertas, Antonia
1
Barbosa, Luis S.
1
Blackburn, Patrick
1
Hennicker, Rolf
1
Manzano, Maria
1
Manzano, María
.
next >
Subject
3
Completeness
2
Decidability
1
Actualist semantics
1
Bisimulation
1
Dynamic logic
1
Equational logic
1
First-order modal logic
1
Four-valued semantics
1
Function symbols
1
Henkin models
.
next >
Date issued
1
2021
2
2019
1
2018
1
2017
3
2016
1
2015