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
DMat - Departamento de Matemática
DMat - Artigos
DMat - Capítulo de livro
DMat - Comunicações
DMat - Dissertações de mestrado
DMat - Livro
DMat - Relatórios
DMat - Teses de doutoramento
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
2020
A four-valued hybrid logic with non-dual modal operators
Costa, Diana
;
Martins, Manuel A.
bookPart
19-Nov-2020
Reversal Fuzzy Switch Graphs
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
2021
Adding proof calculi to epistemic logics with structured knowledge
Benevides, Mario
;
Madeira, Alexandre
;
Martins, Manuel A.
bookPart
Sep-2022
Exorcising the phantom zone
Blackburn, Patrick
;
Martins, Manuel A.
;
Manzano, María
;
Huertas, Antonia
article
Mar-2020
A fuzzy modal logic for fuzzy transition systems
Jain, Manisha
;
Madeira, Alexandre
;
Martins, Manuel A.
article
Mar-2020
Boolean dynamics revisited through feedback interconnections
Chaves, Madalena
;
Figueiredo, Daniel
;
Martins, Manuel A.
article
May-2021
Introducing fuzzy reactive graphs: a simple application on biology
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
Jun-2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
Costa, Diana
;
Martins, Manuel A.
article
Feb-2022
Graded epistemic logic with public announcement
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
article
1-Apr-2022
Introduction to reversal fuzzy switch graph
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
Results 1-10 of 10 (Search time: 0.005 seconds).
previous
1
next
Discover
Author
4
Figueiredo, Daniel
3
Madeira, Alexandre
3
Santiago, Regivan
2
Campos, Suene
2
Costa, Diana
1
Benevides, Mario
1
Benevides, Mário
1
Blackburn, Patrick
1
Chaves, Madalena
1
Huertas, Antonia
.
next >
Subject
3
Bisimulation
3
Fuzzy systems
3
Reactive systems
2
Fuzzy switch graphs
1
Asynchronous versus synchronous u...
1
Attractor computation
1
Biological systems
1
Boolean models
1
Denotation
1
Epistemic Logic
.
next >
Date issued
3
2022
3
2021
4
2020