skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata and fixed point logic: A coalgebraic perspective
Automata and fixed point logic: A coalgebraic perspective
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automata and fixed point logic: A coalgebraic perspective

Venema, Yde

Information and computation, 2006-04, Vol.204 (4), p.637-678 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
2
Model theory of monadic predicate logic with the infinity quantifier
Model theory of monadic predicate logic with the infinity quantifier
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model theory of monadic predicate logic with the infinity quantifier

Carreiro, Facundo ; Facchini, Alessandro ; Venema, Yde ; Zanasi, Fabio

Archive for mathematical logic, 2022-05, Vol.61 (3-4), p.465-502 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Coalgebraic Geometric Logic: Basic Theory
Coalgebraic Geometric Logic: Basic Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coalgebraic Geometric Logic: Basic Theory

Bezhanishvili, Nick ; de Groot, Jim ; Venema, Yde

Logical methods in computer science, 2022-01, Vol.18, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties
Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties

Gaëlle Fontaine ; Yde Venema

Logical methods in computer science, 2018-02, Vol.14, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS
DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS
Material Type:
Artigo 		Adicionar ao Meu Espaço

DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS

Enqvist, Sebastian ; Venema, Yde

Logical methods in computer science, 2019-01, Vol.15 (1) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
An expressive completeness theorem for coalgebraic modal mu-calculi
An expressive completeness theorem for coalgebraic modal mu-calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

An expressive completeness theorem for coalgebraic modal mu-calculi

Enqvist, Sebastian ; Seifan, Fatemeh ; Venema, Yde

Logical methods in computer science, 2017-01, Vol.13 (2) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
7
Completeness for the coalgebraic cover modality
Completeness for the coalgebraic cover modality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completeness for the coalgebraic cover modality

Kupke, Clemens ; Kurz, Alexander ; Venema, Yde

Logical methods in computer science, 2012-07, Vol.8, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
MacNeille completions and canonical extensions
MacNeille completions and canonical extensions
Material Type:
Artigo 		Adicionar ao Meu Espaço

MacNeille completions and canonical extensions

Gehrke, Mai ; Harding, John ; Venema, Yde

Transactions of the American Mathematical Society, 2006-02, Vol.358 (2), p.573-590 [Periódico revisado por pares]

Providence, RI: American Mathematical Society

Texto completo disponível

Citações Citado por
9
A Sahlqvist theorem for distributive modal logic
A Sahlqvist theorem for distributive modal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Sahlqvist theorem for distributive modal logic

Gehrke, Mai ; Nagahashi, Hideo ; Venema, Yde

Annals of pure and applied logic, 2005, Vol.131 (1), p.65-102 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
MacNeille completions of lattice expansions
MacNeille completions of lattice expansions
Material Type:
Artigo 		Adicionar ao Meu Espaço

MacNeille completions of lattice expansions

Theunissen, Mark ; Venema, Yde

Algebra universalis, 2007-10, Vol.57 (2), p.143-193 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (109)
  2. Revistas revisadas por pares (77)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (90)
  2. Anais de Congresso  (17)
  3. Book Chapters  (16)
  4. Resenhas  (7)
  5. Livros  (3)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (10)
  2. 1996Até2002  (26)
  3. 2003Até2009  (27)
  4. 2010Até2017  (35)
  5. Após 2017  (36)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (131)
  2. Japonês  (6)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.