A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Topic: Logic, Reasoning, and Knowledge ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “team semantics” in Logic, Reasoning, and Knowledge 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

Matthias Hoelzel, Richard Wilke

2

citations
Separation logic and logics with team semantics
2021 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

Darion Haase, Erich Grädel, Richard Wilke

3

citations
Logics with Multiteam Semantics
2022 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Richard Wilke

8

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
On the Presburger fragment of logics with multiteam semantics
2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

Richard Wilke

1

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Guarded Teams: The Horizontally Guarded Case
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Martin Otto

1

citations

7 results