Näytetään tulokset 1 - 10 / 27
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2023.103285
Negri, Sara; Tesi, Matteo
Annals of Pure and Applied Logic2023 Julkaisujen tiedon ikoni

The isomorphism relation of theories with S-DOP in the generalised Baire spaces

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2021.103044
Moreno Wandurraga, Miguel
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

Propositional union closed team logics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103102
Yang, Fan
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

Games and Scott sentences for positive distances between metric structures

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103123
Hirvonen, Åsa; Puljujärvi, Joni
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

On elementary logics for quantitative dependencies

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103104
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103108
Hannula, Miika; Virtema, Jonni
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

On definability of team relations with k-invariant atoms

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103136
Rönnholm, Raine
ANNALS OF PURE AND APPLIED LOGIC2022 Julkaisujen tiedon ikoni

On intermediate inquisitive and dependence logics:An algebraic study

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103143
Quadrellaro, Davide Emilio
Annals of Pure and Applied Logic2022 Julkaisujen tiedon ikoni

Complexity of syntactical tree fragments of Independence-Friendly logic

Vertaisarvioitu
DOI
10.1016/j.apal.2020.102859
Barbero, Fausto
Annals of Pure and Applied Logic2021 Julkaisujen tiedon ikoni

First-order model theory of free projective planes

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2020.102888
Hyttinen, Tapani; Paolini, Gianluca
Annals of Pure and Applied Logic2021

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2023.103285
2023

The isomorphism relation of theories with S-DOP in the generalised Baire spaces

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2021.103044
2022

Propositional union closed team logics

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103102
2022

Games and Scott sentences for positive distances between metric structures

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103123
2022

On elementary logics for quantitative dependencies

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103104
2022

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103108
2022

On definability of team relations with k-invariant atoms

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103136
2022

On intermediate inquisitive and dependence logics:An algebraic study

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2022.103143
2022

Complexity of syntactical tree fragments of Independence-Friendly logic

Vertaisarvioitu
DOI
10.1016/j.apal.2020.102859
2021

First-order model theory of free projective planes

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.apal.2020.102888
2021