Works matching IS 00393215 AND DT 2020 AND VI 108 AND IP 3
Results: 9
Interpolation in Extensions of First-Order Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 619, doi. 10.1007/s11225-019-09867-0
- By:
- Publication type:
- Article
Rosser Provability and Normal Modal Logics.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 597, doi. 10.1007/s11225-019-09865-2
- By:
- Publication type:
- Article
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 549, doi. 10.1007/s11225-019-09863-4
- By:
- Publication type:
- Article
The Explosion Calculus.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 509, doi. 10.1007/s11225-019-09861-6
- By:
- Publication type:
- Article
Inner-Model Reflection Principles.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 573, doi. 10.1007/s11225-019-09860-7
- By:
- Publication type:
- Article
Bayesian Confirmation or Ordinary Confirmation?
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 425, doi. 10.1007/s11225-019-09859-0
- By:
- Publication type:
- Article
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 477, doi. 10.1007/s11225-019-09858-1
- By:
- Publication type:
- Article
Simplified Kripke-Style Semantics for Some Normal Modal Logics.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 451, doi. 10.1007/s11225-019-09849-2
- By:
- Publication type:
- Article
A General Framework for Probabilistic Measures of Coherence.
- Published in:
- Studia Logica, 2020, v. 108, n. 3, p. 395, doi. 10.1007/s11225-019-09848-3
- By:
- Publication type:
- Article