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

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

Aus der Reihe Logic in Asia: Studia Logica Library

147,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.03.2021

Abbildungen

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

Herausgeber

Fenrong Liu + weitere

Verlag

Springer Singapore

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-981-15-2223-9

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

Taschenbuch

Erscheinungsdatum

24.03.2021

Abbildungen

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

Herausgeber

Verlag

Springer Singapore

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-981-15-2223-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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.