Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗

First Page		Document Content
Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces		Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Download Document from Source Website File Size: 236,50 KB Share Document on Facebook

	Cycles and Subschemes 14Cxx [1] Timothy G. Abbott, Kiran S. Kedlaya, and David Roe, Bounding Picard numbers of surfaces using p-adic cohomology, Anita Buckley and Bal´azs Szendr¨oi, Orbifold Riemann-Roch for DocID: 1voxn - View Document
	SOLUTIONS FOR TODA SYSTEMS ON RIEMANN SURFACES JIAYU LI, YUXIANG LI Abstract. In this paper, we study the solutions of Toda systems on Riemann surface in the critical case, we prove a sufficient condition for the existen DocID: 1vftT - View Document
	The work of Maryam Mirzakhani 18 August, 2014 Abstract Maryam Mirzakhani has been awarded the Fields Medal for her outstanding work on the dynamics and geometry of Riemann surfaces and DocID: 1tAnr - View Document
	On the Hilbert uniformization of moduli spaces of flat G-bundles over Riemann surfaces Luba Stein DocID: 1sFIf - View Document
	Classical and Quantum lifetimes on some non-compact Riemann surfaces By Fr´ ed´ eric Naud Abstract DocID: 1ss2g - View Document