# Questions tagged [lo.logic]

Computational and mathematical logic.

465 questions
Filter by
Sorted by
Tagged with
21 views

### A Game-Theoretical Semantics of Software Properties

There are many works on software verification using mathematical logic. For example, using the mathematical logic to verify the liveness property of software. On the other hand, we have a game-...
159 views

### How do computers check if two functions are the same?

To prove that two given functions are the same involves proving infinitely many statements. I wonder how to implement so that a computer can check such a statement? An easy example is the following: ...
90 views

### Fagin's Theorem implications

I was going through Fagin's Theorem (summary on wiki) and if I understood correctly Existential Second Order Logic (ESO) can be used to represent any NP problem, the same can be said for a Non-...
79 views

### Cover set of Boolean formulas with conjunctions

I want to cover a set of Boolean formulas (over the same variables) with disjunctive conjunctions. Here's an example with two formulas $p_1$ and $p_2$ over the set of variables $\{A, B, X, Y\}$: I ...
172 views

I have found the following question at openproblemgarden.org: The problem concerns the extension of Monadic Second Order Logic (over a binary relation representing the edge relation) with the ...
295 views