94 citations · 253 across the 14 of their papers we have counts for
14 papers
State-based Modal Logics for Free Choice
Maria Aloni, Aleksi Anttila, Fan Yang
We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used…
Intermediate logics in the setting of team semantics
Nick Bezhanishvili, Fan Yang
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team se…
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner +2
We study the expressivity and complexity of model checking linear temporal logic with team semantics (TeamLTL). TeamLTL, despite being a purely modal logic, is capable of defining…
NNIL-formulas revisited: universal models and finite model property
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas, introduced by Visser in 1983-1984 in a study of -subsitutions in Heyting Arithmetic, are intuitionistic propositional formulas that does not allow nesting of im…
Complete logics for elementary team properties
Juha Kontinen, Fan Yang
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences…
Questions and dependency in intuitionistic logic
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations hav…
Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
Fan Yang
Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction sys…
Propositional Team Logics
Fan Yang, Jouko Väänänen
We consider team semantics for propositional logic, continuing our previous work (Yang & Väänänen 2016). In team semantics the truth of a propositional formula is considered in a s…
Structural Multi-type Sequent Calculus for Inquisitive Logic
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…
Negation and partial axiomatizations of dependence and independence logic revisited
Fan Yang
In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaan…
Structural completeness in propositional logics of dependence
Rosalie Iemhoff, Fan Yang
In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are…
Uniform Definability in Propositional Dependence Logic
Fan Yang
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication c…
Propositional Logics of Dependence
Fan Yang, Jouko Väänänen
In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence lo…
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Fan Yang
Intuitionistic dependence logic was introduced by Abramsky and Vaananen (2009) as a variant of dependence logic under a general construction of Hodges' (trump) team semantics. It w…