Works matching IS 00393215 AND DT 2013 AND VI 101 AND IP 2
Results: 10
Expressing Second-order Sentences in Intuitionistic Dependence Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 323, doi. 10.1007/s11225-013-9476-5
- By:
- Publication type:
- Article
Editorial Introduction.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 233, doi. 10.1007/s11225-013-9484-5
- By:
- Publication type:
- Article
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 453, doi. 10.1007/s11225-013-9480-9
- By:
- Publication type:
- Article
Epistemic Operators in Dependence Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 367, doi. 10.1007/s11225-013-9478-3
- By:
- Publication type:
- Article
Expressivity of Imperfect Information Logics without Identity.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 237, doi. 10.1007/s11225-013-9482-7
- By:
- Publication type:
- Article
Complexity Results for Modal Dependence Logic.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 343, doi. 10.1007/s11225-013-9483-6
- By:
- Publication type:
- Article
Dependence and Independence.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 399, doi. 10.1007/s11225-013-9479-2
- By:
- Publication type:
- Article
Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 267, doi. 10.1007/s11225-013-9481-8
- By:
- Publication type:
- Article
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 293, doi. 10.1007/s11225-013-9475-6
- By:
- Publication type:
- Article
Relational Hidden Variables and Non-Locality.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 411, doi. 10.1007/s11225-013-9477-4
- By:
- Publication type:
- Article