skip to main content
Lingue:

Risutati 1 - 10 di 278  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Weak MSO with the Unbounding Quantifier

Bojańczyk, Mikołaj

Theory of Computing Systems, 2011, Vol.48(3), pp.554-576 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Choice functions and well-orderings over the infinite binary tree

Carayol, Arnaud ; Löding, Christof ; Niwinski, Damian ; Walukiewicz, Igor

Central European Journal of Mathematics, 2010, Vol.8(4), pp.662-682 [Rivista Peer Reviewed]

Fulltext disponibile

3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Modalising Plurals

Hewitt, Simon

Journal of Philosophical Logic, 2012, Vol.41(5), pp.853-875 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On second-order characterizability

Hyttinen, Tapani ; Kangas, Kaisa ; Väänänen, Jouko

Logic Journal of IGPL, 2013, Vol. 21(5), pp.767-787 [Rivista Peer Reviewed]

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Yang, Fan

Studia Logica, 2013, Vol.101(2), pp.323-342 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Pecularities of Some Three- and Four-Valued Second Order Logics

Hazen, Allen ; Pelletier, Francis

Logica Universalis, 2018, Vol.12(3), pp.493-509 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Neutralism within the Semantic Tradition

Trueman, Robert

Thought: A Journal of Philosophy, September 2012, Vol.1(3), pp.246-251 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A logical approach to locality in pictures languages

Grandjean, Etienne ; Olive, Frédéric

Journal of Computer and System Sciences, September 2016, Vol.82(6), pp.959-1006 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Second-order propositional modal logic and monadic alternation hierarchies

Kuusisto, Antti

Annals of Pure and Applied Logic, January 2015, Vol.166(1), pp.1-28 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Second order inductive logic and Wilmers' principle

Kließ, M.S ; Paris, J.B

Journal of Applied Logic, December 2014, Vol.12(4), pp.462-476 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 278  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (229)

Affina i risultati

Nuove accessioni 

  1. Dagli Ultimi 3 Mesi 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del1997 
  2. 1997-2002 
  3. 2003-2008 
  4. 2009-2015 
  5. Dopo il 2015 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Courcelle, Bruno
  2. Courcelle, B.
  3. Blumensath, Achim
  4. Kontinen, Juha
  5. Kepser, Stephan

Ricerca in corso nelle risorse remote ...