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
Dec-2019
Completeness in Equational Hybrid Propositional Type Theory
Manzano, Maria
;
Martins, Manuel A.
;
Huertas, Antonia
article
Jun-2019
Rigid first-order hybrid logic
Blackburn, Patrick
;
Martins, Manuel A.
;
Manzano, María
;
Huertas, Antonia
bookPart
15-Apr-2019
On interval dynamic logic: Introducing quasi-action lattices
Santiago, Regivan
;
Bedregal, Benjamín
;
Madeira, Alexandre
;
Martins, Manuel A.
article
2019
Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Chaves, Madalena
;
Martins, Manuel A.
book
16-Aug-2019
Epistemic logics with structured knowledge
Madeira, Alexandre
;
Martins, Manuel A.
;
Benevides, Mario R. F.
article
1-Apr-2019
On Herbrand’s Theorem for Hybrid Logic
Costa, Diana
;
Martins, Manuel A.
;
Marcos, João
article
2019
rPrism: a software for reactive weighted state transition models
Figueiredo, Daniel
;
Rocha, Eugénio
;
Martins, Manuel A.
;
Chaves, Madalena
bookPart
Results 1-7 of 7 (Search time: 0.029 seconds).
previous
1
next
Discover
Author
2
Chaves, Madalena
2
Huertas, Antonia
2
Madeira, Alexandre
1
Bedregal, Benjamín
1
Benevides, Mario R. F.
1
Blackburn, Patrick
1
Costa, Diana
1
Figueiredo, Daniel
1
Manzano, Maria
1
Manzano, María
.
next >
Subject
2
Hybrid logic
1
Actualist semantics
1
Completeness
1
Dynamic epistemic logic
1
Dynamic logic
1
Equational logic
1
First-order modal logic
1
Function symbols
1
Fuzzy logic
1
Henkin models
.
next >