KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Knowledge, Proof and Dynamics
  • Produktbild: Knowledge, Proof and Dynamics
- 12%

Knowledge, Proof and Dynamics The Fourth Asian Workshop on Philosophical Logic

Aus der Reihe Logic in Asia: Studia Logica Library
12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.03.2020

Abbildungen

IX, 217 p. 172 illus., 16 illus. in color.

Herausgeber

Fenrong Liu + weitere

Verlag

Springer Singapore

Seitenzahl

217

Maße (L/B/H)

24,1/16/1,8 cm

Gewicht

460 g

Auflage

20001 Auflage 1st edition 2020

Sprache

Englisch

ISBN

978-981-15-2220-8

Beschreibung

Portrait

Fenrong Liu, Distinguished Changjiang professor, Department of Philosophy, Tsinghua  University, China. She is known by her works in preference dynamics and social epistemic  logics, with numerous high quality publications in these areas.  

Hiroakira Ono, Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods.

Junhua Yu has been working in (structural) proof theory and its applications in constructive semantics, neighborhood logics, and logics with fixed-points.

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

24.03.2020

Abbildungen

IX, 217 p. 172 illus., 16 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

217

Maße (L/B/H)

24,1/16/1,8 cm

Gewicht

460 g

Auflage

20001 Auflage 1st edition 2020

Sprache

Englisch

ISBN

978-981-15-2220-8

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Knowledge, Proof and Dynamics
  • Produktbild: Knowledge, Proof and Dynamics
  • Glivenko-Kuroda translation in logics for knowability paradox.- Formal semantics for the Sally-Anne tasks.- Sequential method in dynamic quantum logic.- Sequent calculi for ordered bisemigroups.- Jin Yuelin “Refuting Carroll's attack” on inference.- Local fact change logic.- The modal logics of the poison game.- A logical characterization of the continuous bar induction.- Decidability of a modal logic with predicate abstraction & functions.- Unary temporal logics, points and intervals.- The Zero-One law for sabotage games.