Works matching IS 00393215 AND DT 2012 AND VI 100 AND IP 5
Results: 9
Independence in Information Spaces.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 953, doi. 10.1007/s11225-012-9435-6
- By:
- Publication type:
- Article
Finite Contractions on Infinite Belief Sets.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 907, doi. 10.1007/s11225-012-9440-9
- By:
- Publication type:
- Article
An Axiomatisation of a Pure Calculus of Names.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 921, doi. 10.1007/s11225-012-9441-8
- By:
- Publication type:
- Article
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
Giovanni Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, pp. xi+314. ISBN 978-94-007-0430-5 (hardcover) US $139.00.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 947, doi. 10.1007/s11225-012-9442-7
- By:
- Publication type:
- Article
M-Zeroids: Structure and Categorical Equivalence.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 975, doi. 10.1007/s11225-012-9444-5
- By:
- Publication type:
- Article
Complexity Results of STIT Fragments.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 1001, doi. 10.1007/s11225-012-9445-4
- By:
- Publication type:
- Article
Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99,95, ISBN: 978-94-007-0002-4 (eBook) EURO 99,99.
- Published in:
- 2012
- By:
- Publication type:
- Book Review