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
Works matching IS 00393215 AND DT 2013 AND VI 101 AND IP 2
Results: 10
1
2
Editorial Introduction.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 233, doi. 10.1007/s11225-013-9484-5
- By:
- Publication type:
- Article
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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