SoleCRISSiirtymälinkkiEtusivuSiirtymälinkkiKäyttöohjeSiirtymälinkkiRekisteriselosteSiirtymälinkkiKirjautuminen

Artikkelit/Konferenssijulkaisu
      
Tämä on julkaisun katselusivu. Tällä sivulla voit katsella julkaisun perustietoja. Jos haluat päästä muokkaamaan julkaisun tietoja, siirry julkaisun muokkaussivulle alalaidassa olevalla siirtymis-toiminnolla tai jatka järjestelmän käyttöä menusta.


Independence-friendly logic without henkin quantification - Barbero F., Hella L., Rönnholm R. 2017


Laji Artikkelit
Alalaji Konferenssijulkaisu
Tyyppi Tieteellinen
OKM:n julkaisutyyppiluokitus A4 
Tekijät Barbero F., Hella L., Rönnholm R. 
Tekijöiden lukumäärä
Yliopiston ensimmäinen tekijä
Ensimmäisen tekijän yksikkö
Yliopiston muut asiantuntijat
Artikkelin nimi Independence-friendly logic without henkin quantification 
Teoksen nimi Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings 
Teoksen toimittajat Kennedy J.de Queiroz R.J.G.B. 
Julkaisu- ja rekisterivuosi 2017  ja 2017 
Kustantaja Springer 
Kustannuspaikka Berlin 
Sivut 14-30 
Referee Kyllä
ISBN 978-3-662-55386-2 
Sarjan nimi Lecture Notes in Computer Science 
Sarjan numero 10388 
ISSN 0302-9743 
Konferenssin nimi Workshop on Logic, Language, Information and Computation 
Julkaisukieli englanti
Julkaistu ulkomailla Kyllä
Tieteenala Tietojenkäsittely ja informaatiotieteet
Kansainvälinen yhteisjulkaisu Ei
Yhteisjulkaisu yrityksen kanssa Ei
Avoin saatavuus Ei vastausta
Julkaisu rinnakkaistallennettu Ei
DOI-tunniste 10.1007/978-3-662-55386-2_2 
Verkkojulkaisun linkki https://doi.org/10.1007/978-3-662-55386-2_2
Asiasanat / Suomi Action recall; Existential secondorder logic; Expressive power; Game-theoretical semantics; Henkin quantification; Independence-Friendly logic; Signalling 
Lisätiedot Scopus
Suora linkki Suora linkki