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
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
2015
A dynamic logic for every season
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
23-Sep-2017
A family of graded epistemic logics
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
conferenceObject
11-Dec-2017
Asymmetric Combination of Logics is Functorial: A Survey
Neves, Renato
;
Madeira, Alexandre
;
Barbosa, Luís
;
Martins, Manuel A.
bookPart
19-Dec-2014
Refinement in hybridised institutions
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
;
Hennicker, Rolf
article
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
15-Apr-2019
On interval dynamic logic: Introducing quasi-action lattices
Santiago, Regivan
;
Bedregal, Benjamín
;
Madeira, Alexandre
;
Martins, Manuel A.
article
5-Oct-2018
A logic for the stepwise development of reactive systems
Madeira, Alexandre
;
Barbosa, Luís S.
;
Hennicker, Rolf
;
Martins, Manuel A.
article
26-Oct-2018
A family of graded epistemic logics
Benevides, Mario R. F.
;
Madeira, Alexandre
;
Martins, Manuel A.
article
Results 1-10 of 16 (Search time: 0.004 seconds).
previous
1
2
next
Discover
Author
5
Neves, Renato
3
Barbosa, Luís S.
2
Barbosa, Luis S.
2
Benevides, Mario R. F.
2
Benevides, Mário
2
Hennicker, Rolf
2
Santiago, Regivan
1
Barbosa, Luís
1
Bedregal, Benjamin
1
Bedregal, Benjamín
.
next >
Subject
3
Dynamic logic
3
Hybrid logic
2
Action lattice
2
Bisimulation
2
Epistemic Logic
2
Fuzzy logic
2
Hybridisation
1
Action Lattice
1
Architecting
1
Artificial intelligence
.
next >
Date issued
2
2023
1
2022
1
2021
1
2020
2
2019
2
2018
2
2017
3
2016
1
2015
1
2014
.
next >