Knowledge, Proof and Dynamics

, & (eds.)
Springer (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9789811522215

DOI

10.1007/978-981-15-2221-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The Modal Logics of the Poison Game.  (pages 3-23)Francesca Zaffora Blando, Krzysztof Mierzewski & Carlos Areces

Similar books and articles

Book Reviews: Fenrong Liu, Hiroakira Ono, Junhua Yu (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, vol. 7 of Logic in Asia: Studia Logica Library, Springer, 2020, pp. 217+ix; ISBN: 978-981-15-2223-9 (Softcover) 123,04 €, ISBN: 978-981-15-2220-8 (Hardcover) 171,19 €, ISBN: 978-981-15-2221-5 (eBook) 96,29 €. [REVIEW]Piotr Kulicki - 2022 - Studia Logica 110 (1):291-293.
Proof Mining in Topological Dynamics.Philipp Gerhardy - 2008 - Notre Dame Journal of Formal Logic 49 (4):431-446.
On Moore’s Notion of Proof.Michael De - 2020 - Canadian Journal of Philosophy 50 (3):313-321.
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
Another Blow to Knowledge from Knowledge.Peter Murphy - 2013 - Logos and Episteme 4 (3): 311–317.
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
O pojęciu prawdy w intuicjonizmie matematycznym.Zbigniew Tworak - 2010 - Filozofia Nauki 18 (4).
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
OMEGA: Resource-adaptive Proof Planning.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2004
Knowledge in action: logico-philosophical approach to linguistic evidentiality.C. BarÉs-GÓmez, M. Fontaine & A. Nepomuceno - forthcoming - Logic Journal of the IGPL.
PLATO: A Mediator between Text-Editors and Proof Assistance Systems.Wagner Marc, Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):87-107.
Reflective knowledge in the best circles.Ernest Sosa - 1997 - Journal of Philosophy 94 (8):410-430.

Analytics

Added to PP
2023-02-26

Downloads
5 (#1,546,680)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hiroakira Ono
Japan Advanced Institute of Science and Technology
Fenrong Liu
Tsinghua University

Citations of this work

Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.

Add more citations

References found in this work

No references found.

Add more references