Volgen
Fan Yang
Fan Yang
Geverifieerd e-mailadres voor uu.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
752016
On extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting
F Yang
Helsingin yliopisto, 2014
682014
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
48*2016
Propositional team logics
F Yang, J Väänänen
Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017
472017
Expressing second-order sentences in intuitionistic dependence logic
F Yang
Studia Logica 101 (2), 323-342, 2013
392013
Dependence and independence in social choice: arrow’s theorem
E Pacuit, F Yang
Dependence Logic, 235-260, 2016
222016
Questions and dependency in intuitionistic logic
I Ciardelli, R Iemhoff, F Yang
Notre Dame Journal of Formal Logic 61 (1), 75-115, 2020
212020
Jankov’s theorems for intermediate logics in the setting of universal models
D Jongh, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 53-76, 2009
212009
Intuitionistic subframe formulas, NNIL-formulas and n-universal models
F Yang
Report MoL-2008 12, 2008
202008
Uniform definability in propositional dependence logic
F Yang
The Review of Symbolic Logic 10 (1), 65-79, 2017
162017
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
Negation and partial axiomatizations of dependence and independence logic revisited
F Yang
Annals of Pure and Applied Logic 170 (9), 1128-1149, 2019
112019
Modal dependence logics: axiomatizations and model-theoretic properties
F Yang
Logic Journal of the IGPL 25 (5), 773-805, 2017
112017
Structural completeness in propositional logics of dependence
R Iemhoff, F Yang
Archive for Mathematical Logic 55 (7), 955-975, 2016
102016
Logics for first-order team properties
J Kontinen, F Yang
International Workshop on Logic, Language, Information, and Computation, 392-414, 2019
82019
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang
arXiv preprint arXiv:2010.03311, 2020
72020
Counterfactuals and dependencies on causal teams: expressive power and deduction systems
F Barbero, F Yang
arXiv preprint arXiv:2004.00952, 2020
62020
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
62019
Axiomatizing first order consequences in inclusion logic
F Yang
Mathematical Logic Quarterly 66 (2), 195-216, 2020
32020
NNIL axioms have the finite model property
J Ilin, D de Jongh, F Yang
Liber Amicorum Alberti 30, 177-185, 2016
32016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20