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
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
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
16-Aug-2019
Epistemic logics with structured knowledge
Madeira, Alexandre
;
Martins, Manuel A.
;
Benevides, Mario R. F.
article
Results 1-10 of 20 (Search time: 0.003 seconds).
previous
1
2
next
Discover
Author
12
Martins, Manuel A.
5
Neves, Renato
4
Barbosa, Luis S.
4
Gomes, Leandro
3
Barbosa, Luís S.
3
Hennicker, Rolf
2
Benevides, Mario
2
Benevides, Mario R. F.
2
Jain, Manisha
1
Barbosa, Luis Soares
.
next >
Subject
7
Dynamic logic
3
Hybrid logic
2
Action lattice
2
Bisimulation
2
Formal methods
2
Hybridisation
2
Kleene algebra
2
Programs verification
1
Action Lattice
1
Asymmetric combination
.
next >
Date issued
2
2020
8
2019
3
2018
2
2017
3
2016
1
2015
1
2014