From Kripke models to algebraic counter-valuations

Sara Negri; Jan von Plato

From Kripke models to algebraic counter-valuations

Filosofian, historian, kulttuurin ja taiteiden tutkimuksen laitos 2010-2017

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397
Sivumäärä	15
Julkaisupäivä	1998
Sivut	247-261
ISBN (painettu)	3-540-64406-7
Tila	Julkaistu - 1998
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Siteeraa tätä

@inproceedings{dc3058f98aeb4155b90164f008923838,

title = "From Kripke models to algebraic counter-valuations",

author = "Sara Negri and {von Plato}, Jan",

year = "1998",

language = "English",

isbn = "3-540-64406-7",

pages = "247--261",

booktitle = "International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods",

}

From Kripke models to algebraic counter-valuations. / Negri, Sara ; von Plato, Jan.

International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397. 1998. s. 247-261.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu