Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
167,25 €
More specifically. Glivenko-Kuroda translation in logics for knowability paradox. - Formal semantics for the Sally-Anne tasks. - Local fact change logic. - A logical characterization of the continuous bar induction.
Jetzt bei Ebay:
