Tag: lo.logic

Found 263 results for 'lo.logic'.

1) cc.complexity-theory - Schaefer's theorem and CSPs of unbounded width
2) graph-theory - MSO properties, planar graphs and minor-free graphs
3) lo.logic - Is Scott's reduction sound for $\mathrm{FO}^2$ with equality?
4) cc.complexity-theory - Complexity of modal logic IK5
5) lo.logic - Validity problem of intuitionistic two-variable logic
6) graph-theory - Infinitary Counting Logics: 1-sorted vs. 2-sorted framework
7) lo.logic - Comparing the Kolmogorov complexity of theories
8) graph-theory - Minor closed properties that are explicitly MSO expressible
9) cc.complexity-theory - What is the complexity of checking equivalence of two boolean formulae without NOT symbol?
10) cc.complexity-theory - Sparsification Lemma for k-SAT and Exponential Time Hypothesis
11) lo.logic - Example of $MSO_2$ definable NP-hard problem on bounded clique-width graphs
12) cc.complexity-theory - Conclusions from reverse mathematical strength of graph minor theorem
13) lo.logic - Busy Beaver Equivalent for the Untyped Lambda Calculus
14) lo.logic - Why can Lambda Calculus not represent some combinators?
15) lo.logic - Why was Schönfinkel's work on eliminating "bound variables" in logic so crucial?
16) lo.logic - The relation of Gödel's Incompleteness Theorems to the Church-Turing Thesis
17) lo.logic - Why was there a need for Martin-Löf to create intuitionistic type theory?
18) lo.logic - Barendregt's proof of subject reduction for $\lambda2$
19) reference-request - Does the System F with pairs have the strong normalisation and subject reduction properties?
20) lo.logic - Cut-elimination for calculus with nats or other inductive datatype?
21) lo.logic - Normal forms for counting quantifiers?
22) reference-request - Unification-based elimination rule for equality
23) cc.complexity-theory - Is there a natural restriction of VO logic which captures P or NP?
24) lo.logic - What does the category of RDF models look like in Institution Theory?
25) lo.logic - Multimodal logic with quantification over modal operators
26) lo.logic - Is infinitary logic a logic in the sense of Gurevich?
27) lo.logic - Expressiveness of Infinitary Logic
28) cc.complexity-theory - Circuit lower bounds and kolmogorov complexity
29) reference-request - Translating SAT to HornSAT
30) lo.logic - Is propositional resolution a complete proof system?
31) lo.logic - How do continuations represent negations (under the Curry–Howard correspondence)?
32) cc.complexity-theory - Connection between algebraic logic and computational complexity of logics?
33) lo.logic - When does (or should) Theoretical CS care about intuitionistic proofs?
34) ds.algorithms - Using MSOL for solving BIDS problem
35) graph-theory - How long does it take at most for $k$ boolean variables to map back to themselves with a positive disjunctive update rule?
36) reference-request - Well known classes of boolean formulas that require exponentially long resolution proofs
37) graph-theory - Is graph connectivity definable in existential MSO with vertices and edges?
38) cc.complexity-theory - Implied Clause and Resolvent
39) cc.complexity-theory - A 3-CNF formula that requires resolution width $5$
40) lo.logic - Intuition behind proof systems
41) lo.logic - Trace Equivalence vs LTL Equivalence
42) lo.logic - Standard reference for basic model theory definitions
43) reference-request - References to programming languages based on conditional logics
44) lo.logic - Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains
45) cc.complexity-theory - Proof and computational complexity
46) lo.logic - Hyperdoctrines and Monadic Second Order Logic
47) lo.logic - logic in the presence of doubt, uncertainty, lies
48) cc.complexity-theory - Which interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)
49) lo.logic - Measurable language which is not $\omega$-regular
50) lo.logic - How to prove that a formula can not be expressed in LTL, but can be in Buchi automata?