Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFan Yang 0004
Person information
- affiliation: Utrecht University, The Netherlands
- affiliation: University of Helsinki, Finland
- affiliation: Delft University of Technology, The Netherlands
Other persons with the same name
- Fan Yang — disambiguation page
- Fan Yang 0001
![[0000-0003-2164-8175]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-2164-8175")
— Fudan University, State Key Lab of ASIC & System, School of Microelectronics, Shanghai, China - Fan Yang 0002 — Cornell University, Ithaca, NY, USA
- Fan Yang 0003 — FernUniversität Hagen, Faculty of Mathematics and Computer Science, Germany (and 1 more)
- Fan Yang 0005 — Tsinghua University, Department of Automation, Beijing, China (and 1 more)
- Fan Yang 0006 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Clear Water Bay, Hong Kong
- Fan Yang 0007 — Beihang University, School of Biological Science and Medical Engineering, Beijing, China
- Fan Yang 0008 — Tongji University, School of Aerospace Engineering and Applied Mechanics, Shanghai, China (and 1 more)
- Fan Yang 0009 — Zhejiang Sci-Tech University, Department of Mathematics, Hangzhou, China
- Fan Yang 0010 — Xiamen University, Department of Automation, China
- Fan Yang 0011 — Huangshan University, School of Information and Engineering, Huangshan City, China
- Fan Yang 0012 — Southeast University, Instrument and Meter Engineering, Nanjing, China
- Fan Yang 0013 — New York University Shanghai, Economics Area, China (and 1 more)
- Fan Yang 0014 — Nantong University, School of Geographical Sciences, China (and 1 more)
- Fan Yang 0015 — University of Chicago, Department of Computer Science, IL, USA
- Fan Yang 0016 — University of Maryland, College Park, MD, USA
- Fan Yang 0017 — University of Paris-Saclay, France
- Fan Yang 0018 — University of Birmingham, UK
- Fan Yang 0019 — University Bourgogne Franche-Comté, CNRS, Arts et Métiers, Dijon, France (and 1 more)
- Fan Yang 0020 — Space Engineering University, Beijing, China
- Fan Yang 0021 — Chongqing University, College of Communication Engineering, Chongqing Engineering Laboratory of High Performance Integrated Circuits, China
- Fan Yang 0022 — Nuance Communications, Inc. (and 1 more)
- Fan Yang 0023 — Wake Forest University, Department of Computer Science, Winston-Salem, NC, USA (and 3 more)
- Fan Yang 0024 — Microsoft Research Asia, Beijing, China (and 1 more)
- Fan Yang 0025 — Wuhan University of Science and Technology, City College, China (and 1 more)
- Fan Yang 0026 — Lanzhou University of Technology, School of Science, China (and 1 more)
- Fan Yang 0027 — Tsinghua University, Department of Electronic Engineering, TNList, Beijing, China (and 2 more)
- Fan Yang 0028 — Wuhan University, State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, China (and 1 more)
- Fan Yang 0029 — China University of Geosciences Beijing, School of Earth Sciences and Resources, China (and 1 more)
- Fan Yang 0030 — Huaqiao University, College of Mechanical Engineering and Automation, Xiamen, China (and 1 more)
- Fan Yang 0031 — Chongqing University of Technology, School of Electrical and Electronic Engineering, China
- Fan Yang 0032 — Nara Institute of Science and Technology, Division of Information Science, Japan
- Fan Yang 0033 — Xi'an Jiaotong University, China (and 2 more)
- Fan Yang 0034 — Zhongnan University of Economics and Law, School of Information and Safety Engineering, Wuhan, China (and 1 more)
- Fan Yang 0035 — Temple University, Department of Computer and Information Sciences, Philadelphia, PA, USA
- Fan Yang 0036 — Beijing Jiaotong University, School of Electronic and Information Engineering, China
- Fan Yang 0037 — Hubei Technology of University, School of Computer Science, Wuhan, China
- Fan Yang 0038 — University of Tokyo, Japan
- Fan Yang 0039 — Jiangxi University of Finance and Economics, School of Software and Internet of Things Engineering, Nanchang, China
- Fan Yang 0040 — Northwestern Polytechnical University, School of Computer Science and Engineering, Xi'an, China
- Fan Yang 0041 — Nanjing University of Aeronautics and Astronautics, College of Aerospace Engineering / State Key Laboratory of Mechanics and Control of Mechanical Structures, China (and 1 more)
- Fan Yang 0042 — Jiangxi Science and Technology Normal University, School of Communications and Electronics, Nanchang, China
- Fan Yang 0043 — Xiamen University, School of Informatics, China
- Fan Yang 0044 — Central South University of Forestry and Technology, School of Computer and Information Engineering, Changsha, China (and 1 more)
- Fan Yang 0045 — Chongqing University, School of Electrical Engineering, State Key Laboratory of Power Transmission Equipment and System Security and New Technology, China
- Fan Yang 0046 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China
- Fan Yang 0047 — Beijing University of Posts and Telecommunications, MoE Key Laboratory of Universal Wireless Communications, China
- Fan Yang 0048 — Xi'an University of Posts and Telecommunications, School of Communication and Information, China
- Fan Yang 0049 — Chinese Academy of Science, Institute of Computing Technology, Beijing, China
- Fan Yang 0050 — Monash University, Faculty of Business and Economics, Melbourne, VIC, Australia
- Fan Yang 0051 — imec-DistriNet, KU Leuven, Belgium
- Fan Yang 0052 — State Grid Hubei Electric Power Company, Electric Power Research Institute, Wuhan, China
- Fan Yang 0053 — Peking University, National Engineering Laboratory for Video Technology, Beijing, China
- Fan Yang 0054 — Inception Institute of Artificial Intelligence, Abu Dhabi, UAE (and 2 more)
- Fan Yang 0055 — University of British Columbia, School of Engineering, Kelowna, BC, Canada (and 1 more)
- Fan Yang 0056 — Southeast University, School of Information Science and Engineering, National Mobile Communications Research Laboratory, Nanjing, China (and 1 more)
- Fan Yang 0057 — State University of New York at Buffalo, NY, USA
- Fan Yang 0058 — Carnegie Mellon University, Pittsburgh, PA, USA
- Fan Yang 0059 — DeepCode Robotics Co. Ltd. (and 1 more)
- Fan Yang 0060 — Avago Technologies, San Jose, CA, USA (and 2 more)
- Fan Yang 0061 — Wuhan University, LIEMARS, China
- Fan Yang 0062 — Beihang University, College of Software, Beijing, China
- Fan Yang 0063 — Hefei University of Technology, School of Computer and Information, China
- Fan Yang 0064 — Southwest University, College of Electronic and Information Engineering, Chongqing Key Laboratory of Nonlinear Circuits and Intelligent Information Processing, Chongqing, China
- Fan Yang 0065 — Guangxi University of Science and Technology, School of Computer Science and Communication Engineering, Liuzhou, China (and 1 more)
- Fan Yang 0066 — Hebei University of Technology, School of Electronic and Information Engineering, China
- Fan Yang 0067 — Jiangsu Normal University, School of Mathematics and Statistics, Xuzhou, China (and 1 more)
- Fan Yang 0068 — Shandong University, Cheeloo College of Medicine, School of Public Health, Department of Epidemiology and Biostatistics, Jinan, China
- Fan Yang 0069 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China (and 1 more)
- Fan Yang 0070 — Huazhong University of Science and Technology, School of Electrical and Electronic Engineering, State Key Laboratory of Advanced Electromagnetic Engineering and Technology, Wuhan, China
- Fan Yang 0071 — Nanjing University of Finance and Economics, College of Information Engineering, China
- Fan Yang 0072 — Beijing University of Posts and Telecommunications, MOE Key Laboratory of Universal Wireless Communications, China
- Fan Yang 0073 — Southwest Petroleum University, School of Electrical Engineering and Information, Chengdu, China
- Fan Yang 0074 — Jiangsu University of Science and Technology, Department of Mathematics and Physics, Zhenjiang, China (and 1 more)
- Fan Yang 0075 — University of Houston, Department of Computer Science, TX, USA
- Fan Yang 0076 — eBay Inc., San Jose, CA, USA
- Fan Yang 0077 — Peking University, Institute of Microelectronics, MOE Key Laboratory of Microelectronic Devices and Circuits, Beijing, China
- Fan Yang 0078 — Beijing University of Posts and Telecommunications, Pattern Recognition and Intelligent Vision Laboratory, China
- Fan Yang 0079 — Beihang University, School of Reliability and Systems Engineering, Science and Technology on Reliability and Environmental Engineering Laboratory, Beijing, China
- Fan Yang 0080 — Carnegie Mellon University, PA, USA
- Fan Yang 0081 — Tencent AI Lab
- Fan Yang 0082 — South China University of Technology, Guangzhou, China
- Fan Yang 0083 — Tsinghua University, School of Software, Beijing, China
- Fan Yang 0084 — Amazon.com
- Fan Yang 0085 — Shandong University, Data Science Institute, School of Mathematics, Jinan, China
- Fan Yang 0086 — Tsinghua University, Department of Electronic Engineering, Shenzhen International Graduate School, China
- Fan Yang 0087 — Meituan-Dianping Group, Beijing, China (and 1 more)
- Fan Yang 0088 — Huazhong University of Science and Technology, HUST, School of Artificial Intelligence and Automation, Wuhan, Hubei, China
- Fan Yang 0089 — SenseTime Research
- Fan Yang 0090 — University of Illinois Urbana-Champaign, IL, USA
- Fan Yang 0091 — Chinese University of Hong Kong, Department of Computer Science and Engineering, Hong Kong
- Fan Yang 0092 — ETH Zurich, Robotic Systems Lab, Switzerland (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j13]Juha Kontinen, Fan Yang:
Complete Logics for Elementary Team Properties. J. Symb. Log. 88(2): 579-619 (2023)- 2022
- [j12]Fan Yang:
Propositional union closed team logics. Ann. Pure Appl. Log. 173(6): 103102 (2022) - [j11]Jouko Väänänen, Fan Yang, Philip Scott:
Introduction. Ann. Pure Appl. Log. 173(10): 103168 (2022) - 2021
- [j10]Julia Ilin, Dick de Jongh, Fan Yang:
NNIL-formulas revisited: Universal models and finite model property. J. Log. Comput. 31(2): 573-596 (2021) - 2020
- [j9]Fan Yang:
Axiomatizing first order consequences in inclusion logic. Math. Log. Q. 66(2): 195-216 (2020) - [j8]Ivano Ciardelli, Rosalie Iemhoff, Fan Yang:
Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. 61(1): 75-115 (2020) - 2019
- [j7]Fan Yang:
Negation and partial axiomatizations of dependence and independence logic revisited. Ann. Pure Appl. Log. 170(9): 1128-1149 (2019) - 2017
- [j6]Fan Yang, Jouko Väänänen:
Propositional team logics. Ann. Pure Appl. Log. 168(7): 1406-1441 (2017) - [j5]Fan Yang:
Modal dependence logics: axiomatizations and model-theoretic properties. Log. J. IGPL 25(5): 773-805 (2017) - [j4]Fan Yang:
Uniform Definability in Propositional Dependence Logic. Rev. Symb. Log. 10(1): 65-79 (2017) - 2016
- [j3]Rosalie Iemhoff, Fan Yang:
Structural completeness in propositional logics of dependence. Arch. Math. Log. 55(7-8): 955-975 (2016) - [j2]Fan Yang, Jouko Väänänen:
Propositional logics of dependence. Ann. Pure Appl. Log. 167(7): 557-589 (2016) - 2013
- [j1]Fan Yang:
Expressing Second-order Sentences in Intuitionistic Dependence Logic. Stud Logica 101(2): 323-342 (2013)
Conference and Workshop Papers
- 2021
- [c7]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS 2021: 52:1-52:17 - 2019
- [c6]Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang:
Counting of Teams in First-Order Team Logics. MFCS 2019: 19:1-19:15 - [c5]Juha Kontinen, Fan Yang:
Logics for First-Order Team Properties. WoLLIC 2019: 392-414 - 2016
- [c4]Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang:
A Multi-type Calculus for Inquisitive Logic. WoLLIC 2016: 215-233 - [c3]Fan Yang:
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. WoLLIC 2016: 410-431 - 2011
- [c2]Johannes Ebbing, Peter Lohmann, Fan Yang:
Model Checking for Modal Intuitionistic Dependence Logic. TbiLLC 2011: 231-256 - 2009
- [c1]Dick de Jongh, Fan Yang:
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. TbiLLC 2009: 53-76
Parts in Books or Collections
- 2016
- [p1]Eric Pacuit, Fan Yang:
Dependence and Independence in Social Choice: Arrow's Theorem. Dependence Logic 2016: 235-260
Informal and Other Publications
- 2020
- [i6]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR abs/2010.03311 (2020) - 2019
- [i5]Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang:
Counting of Teams in First-Order Team Logics. CoRR abs/1902.00246 (2019) - 2017
- [i4]Ivano Ciardelli, Rosalie Iemhoff, Fan Yang:
Questions and dependency in intuitionistic logic. CoRR abs/1704.01866 (2017) - 2016
- [i3]Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang:
Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR abs/1604.00936 (2016) - 2014
- [i2]Fan Yang, Jouko Väänänen:
Propositional Logics of Dependence and Independence, Part I. CoRR abs/1412.7998 (2014) - 2013
- [i1]Fan Yang:
Expressing Second-order Sentences in Intuitionistic Dependence Logic. CoRR abs/1302.2279 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
