Search Results - Quantified model logic

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    FORMALISING THE LOGIC OF SPATIAL QUALIFICATION USING A QUALITATIVE REASONING APPROACH

    Published 2014-04
    Subjects: “…Quantified modal logic…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  2. Cover Image

    A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: