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
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
16-Feb-2018
A short overview of Hidden Logic
Ferreirim, Isabel
;
Martins, Manuel A.
bookPart
19-Dec-2014
Refinement in hybridised institutions
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
;
Hennicker, Rolf
article
2-Apr-2016
Reuse and integration of specification logics: the hybridisation perspective
Barbosa, Luís S.
;
Martins, Manuel A.
;
Madeira, Alexandre
;
Neves, Renato
bookPart
12-Jun-2016
A tableau system for Quasi-hybrid logic
Costa, Diana
;
Martins, Manuel A.
bookPart
Aug-2016
An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
;
Neves, Renato
;
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
14-Mar-2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
article
2020
A four-valued hybrid logic with non-dual modal operators
Costa, Diana
;
Martins, Manuel A.
bookPart
Jun-2019
Rigid first-order hybrid logic
Blackburn, Patrick
;
Martins, Manuel A.
;
Manzano, María
;
Huertas, Antonia
bookPart
15-Apr-2019
On interval dynamic logic: Introducing quasi-action lattices
Santiago, Regivan
;
Bedregal, Benjamín
;
Madeira, Alexandre
;
Martins, Manuel A.
article
Results 11-20 of 43 (Search time: 0.003 seconds).
previous
1
2
3
4
5
next
Discover
Author
17
Madeira, Alexandre
9
Figueiredo, Daniel
8
Neves, Renato
6
Costa, Diana
6
Santiago, Regivan
5
Barbosa, Luís S.
5
Chaves, Madalena
3
Barbosa, Luis S.
3
Campos, Suene
3
Huertas, Antonia
.
next >
Subject
9
Hybrid logic
5
Bisimulation
5
Reactive systems
4
Fuzzy systems
3
Completeness
3
Dynamic logic
3
Fuzzy switch graphs
2
Action lattice
2
Decidability
2
Epistemic Logic
.
next >
Date issued
5
2023
3
2022
4
2021
5
2020
7
2019
4
2018
5
2017
7
2016
2
2015
1
2014
.
next >