Probability Logics Probability-Based Formalization of Uncertain Reasoning /
The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axio...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Ognjanović, Zoran (Autor), Rašković, Miodrag (Autor), Marković, Zoran (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edición: | 1st ed. 2016. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011) -
Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013) -
A New Perspective on Nonmonotonic Logics
por: Gabbay, Dov M., et al.
Publicado: (2016) -
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005) -
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)