A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K. Complete axiomatizations for their team-based extensions, propositional team logic PTL and modal team logic MTL, are presented
In this paper we consider modal team logic, a generalization of classical modal logic in which it is...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The modal logic literature is notorious for multiple axiomatizations of the same logic and for confl...
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics...
We consider team semantics for propositional logic, continuing [34]. In team semantics the truth of ...
We study modal team logic MTL, the team-semantical extension of classical modal logic closed under B...
Modal Team Logic (MTL) extends Väänänen's Modal Dependence Logic (MDL) by Boolean negation. Its sati...
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), mo...
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. W...
Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first...
Propositional modal logic over relational frames is naturally extended with propositional quantifier...
We study modal team logic MTL, the team-semantical extension of classical modal logic closed under B...
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-...
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
In this paper we consider modal team logic, a generalization of classical modal logic in which it is...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The modal logic literature is notorious for multiple axiomatizations of the same logic and for confl...
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics...
We consider team semantics for propositional logic, continuing [34]. In team semantics the truth of ...
We study modal team logic MTL, the team-semantical extension of classical modal logic closed under B...
Modal Team Logic (MTL) extends Väänänen's Modal Dependence Logic (MDL) by Boolean negation. Its sati...
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), mo...
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. W...
Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first...
Propositional modal logic over relational frames is naturally extended with propositional quantifier...
We study modal team logic MTL, the team-semantical extension of classical modal logic closed under B...
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-...
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
In this paper we consider modal team logic, a generalization of classical modal logic in which it is...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The modal logic literature is notorious for multiple axiomatizations of the same logic and for confl...
DOI
Add to ORKG