Johan van Benthem on logic and information dynamics /

Johan van Benthem on logic and information dynamics /

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical sy...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Smets, Sonja, Baltag, Alexandru
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Cham Springer International Publishing 2014.
श्रृंखला:	Outstanding Contributions to Logic 5
विषय:	Philosophy (General). Logic. Logic design. Logic, Symbolic and mathematical.
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

The philosophy of mathematics and logic in the 1920s and 1930s in Poland /
द्वारा: Murawski, Roman
प्रकाशित: (2014)

Leśniewski's systems of logic and foundations of mathematics /
द्वारा: Urbaniak, Rafal
प्रकाशित: (2014)

Recent trends in philosophical logic /
प्रकाशित: (2014)

Truth and falsehood : An inquiry into generalized logical values /
द्वारा: Shramko, Yaroslav
प्रकाशित: (2012)

Logic design theory /
द्वारा: Biswas, Nripendra Nath
प्रकाशित: (1993)

Logic design theory /
द्वारा: Biswas, Nripendra N.
प्रकाशित: (2006)

Logic and philosophy of mathematics in the early husserl
द्वारा: Centrone, Stefania
प्रकाशित: (2010)

The argument of mathematics /
प्रकाशित: (2013)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /

Mathematical logic /
द्वारा: Kleene, Stephen Cole
प्रकाशित: (2002)

Internal logic : foundations of mathematics from Kronecker to Hilbert /
द्वारा: Gauthier, Yvon
प्रकाशित: (2002)

A Course in mathematical Logic for mathematicians
द्वारा: Manin, Yu. I.
प्रकाशित: (2010)

Foundations of logic 1903 - 05 /
द्वारा: Russell, Bertrand
प्रकाशित: (1994)

Language, truth and logic in mathematics /
द्वारा: Hintikka, Jaakko
प्रकाशित: (1998)

Logic for computer scientists /
द्वारा: Schoning, Uwe
प्रकाशित: (2008)

Between logic and intuition : essays in honor of Charles Parsons /
प्रकाशित: (2000)

Mathematical logic and the foundations of mathematics : an introductory survey /
द्वारा: Kneebone, G. T.
प्रकाशित: (2001)

The Foundations of mathematics and other logical essays /
द्वारा: Ramsey, Frank Plumpton
प्रकाशित: (1931)

Natural deduction, hybrid systems and modal logics
द्वारा: Indrzejczak, Andrzej
प्रकाशित: (2010)

Mathematical problems from applied logic I logics for the XXIst century /
प्रकाशित: (2006)

Logicism, intuitionism, and formalism what has become of them? /
प्रकाशित: (2009)

Mathematical logic /
द्वारा: Shoenfield, Joseph R.
प्रकाशित: (1967)

Mathematical logic /
प्रकाशित: (2001)

Mathematical logic /
द्वारा: Chiswell, Ian, 1948-
प्रकाशित: (2007)

The Oxford handbook of philosophy of mathematics and logic /
प्रकाशित: (2005)

Epistemology versus ontology essays on the philosophy and foundations of mathematics in honour of per martin-lof /
प्रकाशित: (2012)

A logical approach to philosophy : essays in honour of Graham Solomon /

The arché papers on the mathematics of abstraction /
प्रकाशित: (2008)

Introduction to mathematical logic /
द्वारा: Walicki, Michał
प्रकाशित: (2012)

Introduction to mathematical logic /
द्वारा: Mendelson, Elliott
प्रकाशित: (2010)

Logic, sets and recursions /
द्वारा: Causey, Robert L.
प्रकाशित: (2006)

Introduction to mathematical logic /
द्वारा: Mendelson, Elliott
प्रकाशित: (1997)

Understanding symbolic logic /
द्वारा: Klenk, Virginia
प्रकाशित: (2008)

Logic design theory
द्वारा: Biswas, Nripendra N.
प्रकाशित: (1993)

Logic design theory
द्वारा: Biswas, Nripendra N.
प्रकाशित: (1993)

Logic for mathematics and computer science /
द्वारा: Burris, Stanley N.
प्रकाशित: (1998)

A Course on Mathematical Logic
द्वारा: Srivastava, S. M.
प्रकाशित: (2008)

A mathematical introduction to logic /
द्वारा: Enderton, Herbert B.
प्रकाशित: (2001)

Mathematical problems from applied logic II : logics for the XXIst century /
प्रकाशित: (2007)

Mechanical logic in three-dimensional space /
द्वारा: Auletta, Gennaro
प्रकाशित: (2014)