Many-Dimensional Modal Logics: Theory and Applications More Books Like This

Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000
Sets And Computations Sets And Computations
Sets And Computations
2017
Proof and Computation Proof and Computation
Proof and Computation
2018
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
2001
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Descriptive Set Theory (Enhanced Edition) Descriptive Set Theory (Enhanced Edition)
Descriptive Set Theory (Enhanced Edition)
1987
Mathematical Aspects of Logic Programming Semantics Mathematical Aspects of Logic Programming Semantics
Mathematical Aspects of Logic Programming Semantics
2016
Logic for Computer Science Logic for Computer Science
Logic for Computer Science
2015
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020
Structure And Randomness In Computability And Set Theory Structure And Randomness In Computability And Set Theory
Structure And Randomness In Computability And Set Theory
2020
Realizability Realizability
Realizability
2008