Knowledge, Proof and Dynamics, 1st ed. 2020 The Fourth Asian Workshop on Philosophical Logic Logic in Asia: Studia Logica Library Series
Coordonnateurs : Liu Fenrong, Ono Hiroakira, Yu Junhua
Includes a collection of papers presented at the AWPL, reflecting the latest logic research
Discusses active areas of interest in the fields of logic
Covers both model semantical and proof theoretical approaches to dealing with logical problems
Date de parution : 03-2021
Ouvrage de 217 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 158,24 €
Ajouter au panierDate de parution : 03-2020
Ouvrage de 217 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 158,24 €
Ajouter au panierThème de Knowledge, Proof and Dynamics :
Mots-clés :
Game logic; Proof theory; Modal logic; Temporal logic; Algebraic logic