Leo Esakia on Duality in Modal and Intuitionistic Logics More Books Like This

Proof Theory and Algebra in Logic Proof Theory and Algebra in Logic
Proof Theory and Algebra in Logic
2019
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
2017
Constructive Negations and Paraconsistency Constructive Negations and Paraconsistency
Constructive Negations and Paraconsistency
2008
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006
Modality, Semantics and Interpretations Modality, Semantics and Interpretations
Modality, Semantics and Interpretations
2015
Goguen Categories Goguen Categories
Goguen Categories
2007
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
2018
Paraconsistent Logic: Consistency, Contradiction and Negation Paraconsistent Logic: Consistency, Contradiction and Negation
Paraconsistent Logic: Consistency, Contradiction and Negation
2016
One Hundred Years of Axiomatic Set Theory One Hundred Years of Axiomatic Set Theory
One Hundred Years of Axiomatic Set Theory
2012
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011
Advances in Natural Deduction Advances in Natural Deduction
Advances in Natural Deduction
2014
Mathesis Universalis, Computability and Proof Mathesis Universalis, Computability and Proof
Mathesis Universalis, Computability and Proof
2019
A Geometry of Approximation A Geometry of Approximation
A Geometry of Approximation
2008
Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
2010
Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
2010