Name Card

Full name Familienname, Vorname

Artemov, Sergei

Main Affiliation Organisationszuordnung

Graduate Center, the City University of New York

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Baaz, Matthias ; Lolic, Anela	A Globally Sound Analytic Calculus for Henkin Quantifiers	Konferenzbeitrag Inproceedings	2020
	2		Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine	Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics	Konferenzbeitrag Inproceedings	2016
	3		Kuznets, Roman	Interpolation Method for Multicomponent Sequent Calculi	Konferenzbeitrag Inproceedings	2016