Search Results - "Hoelzel, Matthias"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics by Hoelzel, Matthias, Wilke, Richard

    Published in Logical methods in computer science (30-07-2021)
    “…We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics by Hoelzel, Matthias, Wilke, Richard

    Published 29-07-2021
    “…Logical Methods in Computer Science, Volume 17, Issue 3 (July 30, 2021) lmcs:6501 We present syntactic characterisations for the union closed fragments of…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: