Forskningsresultat per år
Forskningsresultat per år
- 6 resultat
Sökresultat
-
2023
Complete logics for elementary team properties
Kontinen, J. & Yang, F., juni 2023, I: Journal of Symbolic Logic. 88, 2, s. 579 - 619 41 s., PII S0022481222000809.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
2022
Propositional union closed team logics
Yang, F., juni 2022, I: Annals of Pure and Applied Logic. 173, 6, 35 s., 103102.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
2021
NNIL-formulas revisited: universal models and finite model property
Ilin, J., Jongh, D. D. & Yang, F., mars 2021, I: Journal of Logic and Computation. 31, 2, s. 573–596 24 s., exaa063.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Fil -
2020
Axiomatizing first-order consequences in inclusion logic
Yang, F., juli 2020, I: Mathematical Logic Quarterly. 66, 2, s. 195-216 22 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Counterfactuals and dependencies on causal teams: expressive power and deduction systems
Barbero, F. & Yang, F., 20 juli 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (red.). College publications, Vol. 13. s. 73-93 21 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2019
Logics for first-order team properties
Kontinen, J. & Yang, F., 18 apr. 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Springer-Verlag, Vol. 11541. s. 392-414 23 s. (Lecture Notes in Computer Science).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil