Algorithm to decide if a CTL formula can also be expressed in LTL and translate it?
139170
Syntactic characterisation of the intersection of CTL and LTL
14438
Trees with explicit formula
141952
Is there a decision procedure for intuitionistic propositional logic?
150597
How can I specify a long list of math operators?
109159
What's the intuition behind $(\exists y)(\mathscr{C}(y)\supset\mathscr{D})\supset((\forall x)\mathscr{C}(x)\supset\mathscr{D})$
85799
Finding languages such that $L_{1} \subseteq L_{2} \subseteq L_{3}$ where $L_{1}, L_{3} \notin \mathbb{R}$, $L_{2} \in \mathbb{R}$
98275
Defining `lstset` parameters for multiple languages
18462
Transitivity check vs. Transitive Closure
14967
Automatically crossing 7's and Z's in mathematical formulae
132846
LaTeX to MathML conversion: tools, limitations, and approaches?
24262
Best and shortest way to evaluate mathematical expressions
147556
Express logic puzzles with proposition calculus notation
81154
Characterising reals with terminating decimal expansions
17710
How do you get the logical xor of two variables in Python?
48987
How to generate abstraction clauses programmatically?
42410
How do I dynamically construct a predicate method from an expression tree?
126631
Quick way to use conditioned patterns when defining multi-argument function?