Följ
Fan Yang
Fan Yang
Verifierad e-postadress på uu.nl - Startsida
Titel
Citeras av
Citeras av
År
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
892016
On extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting
F Yang
Helsingin yliopisto, 2014
77*2014
Propositional team logics
F Yang, J Väänänen
Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017
612017
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
53*2016
Expressing second-order sentences in intuitionistic dependence logic
F Yang
Studia Logica 101 (2), 323-342, 2013
372013
Questions and dependency in intuitionistic logic
I Ciardelli, R Iemhoff, F Yang
Notre Dame Journal of Formal Logic 61 (1), 75-115, 2020
272020
Dependence and independence in social choice: Arrow’s theorem
E Pacuit, F Yang
Dependence Logic: Theory and Applications, 235-260, 2016
212016
Intuitionistic subframe formulas, NNIL-formulas and n-universal models
F Yang
Report MoL-2008 12, 2008
202008
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
182009
Modal dependence logics: axiomatizations and model-theoretic properties
F Yang
Logic Journal of the IGPL 25 (5), 773-805, 2017
152017
Model checking for modal intuitionistic dependence logic
J Ebbing, P Lohmann, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 231-256, 2011
152011
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
142020
Uniform definability in propositional dependence logic
F Yang
The Review of Symbolic Logic 10 (1), 65-79, 2017
142017
Negation and partial axiomatizations of dependence and independence logic revisited
F Yang
Annals of Pure and Applied Logic 170 (9), 1128-1149, 2019
112019
Structural completeness in propositional logics of dependence
R Iemhoff, F Yang
Archive for Mathematical Logic 55 (7), 955-975, 2016
112016
Logics for first-order team properties
J Kontinen, F Yang
International Workshop on Logic, Language, Information, and Computation, 392-414, 2019
82019
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
82019
Characterizing counterfactuals and dependencies over (generalized) causal teams
F Barbero, F Yang
Notre Dame Journal of Formal Logic 63 (3), 301-341, 2022
52022
Propositional union closed team logics
F Yang
Annals of Pure and Applied Logic 173 (6), 103102, 2022
52022
Axiomatizing first order consequences in inclusion logic
F Yang
Mathematical Logic Quarterly 66 (2), 195-216, 2020
52020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20