Works matching IS 00393215 AND DT 2019 AND VI 107 AND IP 5
Results: 8
S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems: Cambridge University Press 2016, pp. 752. ISBN-10: 1107028361 (hardcover) £90.00; ISBN-13: 978-1107028364; online ISBN: 978-1139236119 (kindle) £85.50
- Published in:
- 2019
- By:
- Publication type:
- Book Review
Raymond Smullyan, A Beginner's Further Guide to Mathematical Logic: World Scientific Publishing 2017, pp. 288; ISBN-10: 9814725722 (hardback) £45.00, ISBN-13: 978-9814725729 (paperback) £24.00, (kindle) £13.49.
- Published in:
- 2019
- By:
- Publication type:
- Book Review
Nonmonotonicity in the Framework of Parametric Logic.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 1025, doi. 10.1007/s11225-018-9831-7
- By:
- Publication type:
- Article
Causal Learning with Occam's Razor.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 991, doi. 10.1007/s11225-018-9829-1
- By:
- Publication type:
- Article
Truth-Tracking by Belief Revision.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 917, doi. 10.1007/s11225-018-9812-x
- By:
- Publication type:
- Article
Theory Choice, Theory Change, and Inductive Truth-Conduciveness.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 949, doi. 10.1007/s11225-018-9809-5
- By:
- Publication type:
- Article
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 859, doi. 10.1007/s11225-018-9808-6
- By:
- Publication type:
- Article
Back to Basics: Belief Revision Through Direct Selection.
- Published in:
- Studia Logica, 2019, v. 107, n. 5, p. 887, doi. 10.1007/s11225-018-9807-7
- By:
- Publication type:
- Article