Fan Yang
Fan Yang
Geverifieerd e-mailadres voor helsinki.fi - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
On extensions and variants of dependence logic
F Yang
Disertační práce, Univerzita Helsinky, 2014
59*2014
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
502016
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
International Workshop on Logic, Language, Information, and Computation, 215-233, 2016
39*2016
Expressing second-order sentences in intuitionistic dependence logic
F Yang
Studia Logica 101 (2), 323-342, 2013
352013
Propositional team logics
F Yang, J Väänänen
Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017
232017
Intuitionistic subframe formulas, NNIL-formulas and n-universal models
F Yang
Report MoL-2008 12, 2008
162008
Dependence and independence in social choice: arrow’s theorem
E Pacuit, F Yang
Dependence Logic, 235-260, 2016
132016
Model checking for modal intuitionistic dependence logic
J Ebbing, P Lohmann, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 231-256, 2011
132011
Jankov’s theorems for intermediate logics in the setting of universal models
D De Jongh, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 53-76, 2009
112009
Questions and dependency in intuitionistic logic
I Ciardelli, R Iemhoff, F Yang
Notre Dame Journal of Formal Logic 61 (1), 75-115, 2020
82020
Negation and partial axiomatizations of dependence and independence logic revisited
F Yang
Annals of Pure and Applied Logic 170 (9), 1128-1149, 2019
72019
Modal dependence logics: axiomatizations and model-theoretic properties
F Yang
Logic Journal of the IGPL 25 (5), 773-805, 2017
72017
Uniform definability in propositional dependence logic
F Yang
The Review of Symbolic Logic 10 (1), 65-79, 2017
72017
Structural completeness in propositional logics of dependence
R Iemhoff, F Yang
Archive for Mathematical Logic 55 (7-8), 955-975, 2016
72016
Logics for first-order team properties
J Kontinen, F Yang
International Workshop on Logic, Language, Information, and Computation, 392-414, 2019
32019
Counting of Teams in First-Order Team Logics
A Haak, J Kontinen, F Müller, H Vollmer, F Yang
arXiv preprint arXiv:1902.00246, 2019
32019
NNIL Axioms Have the Finite Model Property
J Ilin, D de Jongh, F Yang
Liber Amicorum Alberti: A Tribute to Albert Visser, 2016
12016
On definability in intuitionistic dependence logic
F Yang
manuscript, 2010
12010
NNIL-formulas revisited: universal models and finite model property
J Ilin, D de Jongh, F Yang
arXiv preprint arXiv:1908.01635, 2019
2019
Axiomatizing first-order consequences in inclusion logic
F Yang
arXiv preprint arXiv:1904.06227, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20