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
Jun-2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
1-Dec-2020
Dynamic logic: new trends and applications
Martins, Manuel A.
;
Sedlár, Igor
book
26-Oct-2018
A family of graded epistemic logics
Benevides, Mario R. F.
;
Madeira, Alexandre
;
Martins, Manuel A.
article
19-Nov-2020
Reversal Fuzzy Switch Graphs
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
2015
Completeness and decidability results for hybrid(ised) logics
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
19-Dec-2014
Refinement in hybridised institutions
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
;
Hennicker, Rolf
article
Sep-2017
Applying differential dynamic logic to reconfigurable biological networks
Figueiredo, Daniel
;
Martins, Manuel A.
;
Chaves, Madalena
article
22-Sep-2017
Bisimulation for reactive frames
Figueiredo, Daniel
;
Martins, Manuel A.
conferenceObject
Aug-2016
An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
article
14-Mar-2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
article
Results 11-20 of 40 (Search time: 0.005 seconds).
previous
1
2
3
4
next
Discover
Author
16
Madeira, Alexandre
8
Figueiredo, Daniel
7
Neves, Renato
6
Costa, Diana
5
Chaves, Madalena
5
Santiago, Regivan
4
Barbosa, Luís S.
3
Barbosa, Luis S.
3
Huertas, Antonia
2
Benevides, Mario R. F.
.
next >
Subject
8
Hybrid logic
5
Bisimulation
4
Reactive systems
3
Completeness
3
Dynamic logic
3
Fuzzy systems
2
Action lattice
2
Decidability
2
Epistemic Logic
2
Fuzzy logic
.
next >
Date issued
5
2023
2
2022
4
2021
5
2020
7
2019
3
2018
5
2017
6
2016
2
2015
1
2014
.
next >