Polyteam semantics

DOI10.1093/LOGCOM/EXAA048MaRDI QIDQ5140328zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

dependenceexistential second-order logicexpressive powerindependenceteam semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

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

(16)

• Probabilistic team semantics
• Polyteam semantics
• Approximation and dependence via multiteam semantics
• Separation logic and logics with team semantics
• On the Presburger fragment of logics with multiteam semantics
• Iterated team semantics for a hierarchy of informational types
• Continuous team semantics
• Approximation and dependence via multiteam semantics
• Logics with multiteam semantics
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• The doxastic interpretation of team semantics
• Counting in team semantics
• Parameterized complexity of propositional inclusion and independence logic
• Strongly first order disjunctive embedded dependencies in team semantics
• The flattening operator in team-based logics
• Upwards closed dependencies in team 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)