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
2018
Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017
Madeira, Alexandre
;
Benevides, Mario
book
Aug-2021
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Hennicker, Rolf
;
Knapp, Alexander
;
Madeira, Alexandre
article
23-Sep-2017
A family of graded epistemic logics
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
conferenceObject
2015
A dynamic logic for every season
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
2019
A hybrid dynamic logic for event/data-based systems
Hennicker, Rolf
;
Madeira, Alexandre
;
Knapp, Alexander
bookPart
2019
Verification for Everyone? An Overview of Dynamic Logic
Madeira, Alexandre
bookPart
2019
On the generation of equational dynamic logics for weighted imperative programs
Gomes, Leandro
;
Madeira, Alexandre
;
Jain, Manisha
;
Barbosa, Luis S.
bookPart
2019
Taming hierarchical connectors
Proença, José
;
Madeira, Alexandre
bookPart
2019
Logics for Petri nets with propagating failures
Gomes, Leandro
;
Madeira, Alexandre
;
Benevides, Mario
bookPart
1-Mar-2020
Introducing synchrony in fuzzy automata
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis Soares
article
Results 1-10 of 35 (Search time: 0.026 seconds).
previous
1
2
3
4
next
Discover
Author
3
Knapp, Alexander
2
Barbosa, Luis Soares
2
Benevides, Mario R. F.
2
Benevides, Mário
2
Cruz, Ana
2
Cunha, Juliana
2
Santiago, Regivan
1
Barbosa, Luís
1
Bedregal, Benjamin
1
Bedregal, Benjamín
.
< previous
next >
Subject
11
Dynamic logic
4
Fuzzy logic
3
Hybrid logic
3
Modal logic
3
Paraconsistent logic
2
Action lattice
2
Bisimulation
2
Dynamic Logic
2
Epistemic Logic
2
Formal methods
.
next >
Date issued
8
2023
2
2022
5
2021
2
2020
8
2019
3
2018
2
2017
3
2016
1
2015
1
2014
.
next >