Dynamic Tractable Reasoning More Books Like This
Contradictions, from Consistency to Inconsistency
2018
Handbook of Philosophical Logic
2006
Handbook of Philosophical Logic
2006
Proof, Computation and Agency
2011
Logic in High Definition
2020
Games, Norms and Reasons
2011
J. Michael Dunn on Information Based Logics
2016
Mathesis Universalis, Computability and Proof
2019
Advances in Natural Deduction
2014
Prawitz's Epistemic Grounding
2023
Natural Deduction, Hybrid Systems and Modal Logics
2010
Paraconsistency: Logic and Applications
2012
Meaning and Proscription in Formal Logic
2017
Structural Analysis of Non-Classical Logics
2015
Introduction to Formal Philosophy
2018