Polyteam semantics
From MaRDI portal
Publication:5140328
DOI10.1093/LOGCOM/EXAA048zbMATH Open1505.03071OpenAlexW4234247087MaRDI QIDQ5140328FDOQ5140328
Authors: Miika Hannula, Juha Kontinen, Jonni Virtema 
Publication date: 15 December 2020
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10138/337897
Recommendations
- Polyteam semantics
- Probabilistic team semantics
- Logics with multiteam semantics
- The doxastic interpretation of team semantics
- Continuous team semantics
- Team semantics for the specification and verification of hyperproperties
- Complexity of propositional logics in team semantic
- Counting in team semantics
- Separation logic and logics with team semantics
- Upwards closed dependencies in team semantics
Cited In (10)
- Probabilistic team semantics
- Approximation and dependence via multiteam semantics
- Counting in team semantics
- Logics with multiteam semantics
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Approximation and dependence via multiteam semantics
- The doxastic interpretation of team semantics
- Upwards closed dependencies in team semantics
- Parameterized complexity of propositional inclusion and independence logic
- Polyteam semantics
This page was built for publication: Polyteam semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140328)
