ASCEND
BY NTHRYS
🎓

You are exploring a lot!

Register free to continue exploring ASCEND — access research frontiers, workshops, training modules and more.

Register Free →

NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field
▾
Category
▾

Mathematical Logic Foundations

Select a category to explore research frontiers

Constructive Type Theory and Dependent Types
Explore frontiers →
Homotopy Type Theory Foundations
Explore frontiers →
Proof Mining and Computational Content
Explore frontiers →
Modal Logic and Necessity Operators
Explore frontiers →
Linear Logic and Resource Semantics
Explore frontiers →
Categorical Logic and Topoi
Explore frontiers →
Infinitary Logic and Admissible Sets
Explore frontiers →
Reverse Mathematics and Proof Strength
Explore frontiers →
Computability Theory and Turing Degrees
Explore frontiers →
Descriptive Set Theory and Borel Hierarchies
Explore frontiers →
Forcing and Independence Results
Explore frontiers →
Inner Models and Constructibility
Explore frontiers →
Large Cardinal Axioms and Rank
Explore frontiers →
Infinite Combinatorics and Ramsey Theory
Explore frontiers →
Ordinal Analysis and Proof-Theoretic Strength
Explore frontiers →
Substructural Logics and Ordered Sequents
Explore frontiers →
Intuitionistic Logic and Constructive Semantics
Explore frontiers →
Fuzzy Logic and Many-Valued Systems
Explore frontiers →
Temporal Logic and Program Verification
Explore frontiers →
Description Logics for Knowledge Representation
Explore frontiers →
Non-monotonic Logic and Default Reasoning
Explore frontiers →
Paraconsistent Logic and Contradiction Tolerance
Explore frontiers →
Relevant Logic and Logical Dependency
Explore frontiers →
Quantum Logic and Orthomodular Lattices
Explore frontiers →
Automata Theory and Formal Languages
Explore frontiers →
Lambda Calculus and Functional Semantics
Explore frontiers →
Curry-Howard Correspondence Extensions
Explore frontiers →
Model Theory and Categorical Equivalence
Explore frontiers →
Stability Theory and Classification
Explore frontiers →
Simplicity and Tameness in Model Theory
Explore frontiers →
Saturation and Homogeneity Properties
Explore frontiers →
Definability and Interpretability Results
Explore frontiers →
Ultrafilters and Nonstandard Analysis
Explore frontiers →
Stability Spectrum and Categoricity
Explore frontiers →
Recursive Function Theory and Hierarchies
Explore frontiers →
Incompleteness Theorems and Self-Reference
Explore frontiers →
Decidability and Undecidability of Theories
Explore frontiers →
Constraint Logic Programming Foundations
Explore frontiers →
Abstract Logic and Lindstrom Theorems
Explore frontiers →
Generalized Quantifiers and Logical Extensions
Explore frontiers →
Algebraic Logic and Cylindric Algebras
Explore frontiers →
Boolean Algebras and Stone Duality
Explore frontiers →
Lattice Theory and Logical Order
Explore frontiers →
Formal Epistemology and Justification Logic
Explore frontiers →
Dynamic Epistemic Logic and Updates
Explore frontiers →
Doxastic Logic and Belief Dynamics
Explore frontiers →
Social Choice Logic and Preference Aggregation
Explore frontiers →
Logical Foundations of Probability Theory
Explore frontiers →
Formal Semantics and Compositionality
Explore frontiers →
Type-Theoretic Semantics of Language
Explore frontiers →
Synthetic Computability and Realizability Semantics
Explore frontiers →
Topos Theory and Logical Foundations
Explore frontiers →
Cubical Type Theory and Higher Inductive Types
Explore frontiers →
Predicativity and Autonomous Transfinite Hierarchies
Explore frontiers →
Proof Theoretic Ordinals and Transfinite Induction
Explore frontiers →
Intuitionistic Arithmetic and Friedman''s Metatheory
Explore frontiers →
Gentzen Sequent Calculi and Proof Search
Explore frontiers →
Analytic Combinatorics and Logical Recursion
Explore frontiers →
Structural Proof Theory and Display Logic
Explore frontiers →
Coherence Problems in Higher Category Theory
Explore frontiers →
Monadic Second-Order Logic and Tree Automata
Explore frontiers →
Computable Analysis and Effective Topology
Explore frontiers →
Abstract Computability and Multi-Sorted Structures
Explore frontiers →
Godel''s Incompleteness and Self-Reference Mechanisms
Explore frontiers →
Peano Arithmetic and Transfinite Recursion
Explore frontiers →
Consistency Strength Hierarchies and Axiomatic Theories
Explore frontiers →
Kripke Semantics and Modal Completeness Theorems
Explore frontiers →
Bunched Logic and Separation Logic
Explore frontiers →
Affine Logic and Linear Typing Systems
Explore frontiers →
Multiplicative-Additive Systems and Phase Semantics
Explore frontiers →
Ludics and Interaction Semantics
Explore frontiers →
Polarized Logic and Sequentialization
Explore frontiers →
Concrete Domains and Feature Logic
Explore frontiers →
Closed-World Assumption and Negation-as-Failure
Explore frontiers →
Answer Set Programming and Disjunctive Logic Programs
Explore frontiers →
Abductive Logic and Hypothetical Reasoning
Explore frontiers →
Conditional Logic and Counterfactuals
Explore frontiers →
Doxastic Revision and Belief Contraction
Explore frontiers →
Probabilistic Logic and Markov Chains
Explore frontiers →
Continuous Logic and Model Theory
Explore frontiers →
Omega-Logic and Second-Order Semantics
Explore frontiers →
Game Semantics and Innocent Strategies
Explore frontiers →
Geometry of Interaction and Feedback
Explore frontiers →
Differential Linear Logic and Derivatives
Explore frontiers →
Girard''s Light Linear Logic and Complexity
Explore frontiers →
Elementary Linear Logic and Function Polynomials
Explore frontiers →
Implicit Computational Complexity and Tiered Systems
Explore frontiers →
Subrecursion Theory and Fast-Growing Hierarchies
Explore frontiers →
Arithmetical Hierarchy and Analytical Hierarchy
Explore frontiers →
Primitive Recursive Arithmetic and Proof Terms
Explore frontiers →
Higher-Order Arithmetic and Impredicative Definitions
Explore frontiers →
Gentzen''s Consistency Proof and Transfinite Methods
Explore frontiers →
Cut-Elimination and Normalization Theorems
Explore frontiers →
Normalization-by-Evaluation and Computational Semantics
Explore frontiers →
Dependent Pattern Matching and Unification Algorithms
Explore frontiers →
Inductive Types and Positivity Conditions
Explore frontiers →
Coinductive Types and Guardedness in Type Theory
Explore frontiers →
Observational Type Theory and Heterogeneous Equality
Explore frontiers →
Quotient Types and Setoid Semantics
Explore frontiers →
Universe Polymorphism and Type Universes
Explore frontiers →
Observational Type Theory and Extensionality
Explore frontiers →
Dialectica Categories and Functional Interpretations
Explore frontiers →
Realizability Theory and Effective Topos
Explore frontiers →
Predicative Foundations and Feferman Systems
Explore frontiers →
Normalization and Strong Elimination Procedures
Explore frontiers →
Girard''s Linear Logic Extensions
Explore frontiers →
Bunched Logic and Separation Semantics
Explore frontiers →
Ordered Linear Logic and Non-commutativity
Explore frontiers →
Structural Proof Theory and Cut Elimination
Explore frontiers →
Display Logic and Display Calculi
Explore frontiers →
Analytic Tableaux and Tableau Reasoning Systems
Explore frontiers →
Resolution Methods and Saturation Strategies
Explore frontiers →
Gödel''s Completeness and Extensions
Explore frontiers →
Arithmetic Hierarchy and Analytical Hierarchy
Explore frontiers →
Hyper-arithmetic Sets and Higher Recursion
Explore frontiers →
Gentzen-style Systems for Substructural Logics
Explore frontiers →
Lambda Calculus Variants and Extensions
Explore frontiers →
Process Algebra Semantics and Logical Foundations
Explore frontiers →
Inductive-Recursive Definitions and Wellfoundedness
Explore frontiers →
Coalgebra and Coinduction in Logic
Explore frontiers →
Girard''s Polymorphism and System F Extensions
Explore frontiers →
Game Semantics and Logical Games
Explore frontiers →
Sequent Calculus for Propositional Modal Logic
Explore frontiers →
Epistemic Logic and Knowledge Operators
Explore frontiers →
Belief Revision Theory and AGM Postulates
Explore frontiers →
Graded Modal Logics and Counting Quantifiers
Explore frontiers →
Coalition Logic and Strategic Reasoning
Explore frontiers →
Alternating-Time Temporal Logic Extensions
Explore frontiers →
Separation Logic Beyond Pointers
Explore frontiers →
Concurrent Separation Logic and Atomicity
Explore frontiers →
Dependent Type Theory and Metaprogramming
Explore frontiers →
Universe Levels and Hierarchy in Type Theory
Explore frontiers →
Univalence Axiom and Homotopical Equivalence
Explore frontiers →
Synthetic Homotopy Theory in Type Theory
Explore frontiers →
Propositional Truncation and Set-Level Reasoning
Explore frontiers →
Two-Level Type Theory and Fibrations
Explore frontiers →
Agda and Proof Assistant Foundations
Explore frontiers →
Coq Libraries and Formal Verification
Explore frontiers →
Lean Mathlib and Mathematical Formalization
Explore frontiers →
Proof Complexity and Lower Bounds
Explore frontiers →
Bounded Arithmetic and Feasible Mathematics
Explore frontiers →
Complexity Classes and Logical Characterizations
Explore frontiers →
Automata and Regular Languages Extensions
Explore frontiers →
Omega-Regular Languages and Büchi Automata
Explore frontiers →
Tree Automata and XML Processing
Explore frontiers →
Ehrenfeucht-Fraïssé Games and Expressiveness
Explore frontiers →
VC Dimension and Shattering in Logic
Explore frontiers →
Constraint Satisfaction Problems and Logic
Explore frontiers →
Finite Model Theory and Resource Logics
Explore frontiers →
Dialectica Interpretation and Functional Interpretations
Explore frontiers →
Realizability Theory and Effective Computability
Explore frontiers →
Substructural Type Systems and Linear Resources
Explore frontiers →
Categorical Proof Theory and Coherence
Explore frontiers →
Constructive Analysis and Bishop Spaces
Explore frontiers →
Predicative Systems and Ramified Hierarchy
Explore frontiers →
Second-Order Arithmetic and Subsystems
Explore frontiers →
Transfinite Induction and Recursive Definitions
Explore frontiers →
Gödel Numbering and Self-Referential Phenomena
Explore frontiers →
Cut Elimination and Normalization Proofs
Explore frontiers →
Splittings and Amalgamation in Model Theory
Explore frontiers →
Pcf Theory and Singular Cardinals
Explore frontiers →
Descriptive Complexity and Finite Model Theory
Explore frontiers →
Game Semantics and Interactive Proofs
Explore frontiers →
Infinitary Proof Systems and Logical Closure
Explore frontiers →
Stratified Set Theory and Quine Systems
Explore frontiers →
Nonstandard Models and Transfer Principles
Explore frontiers →
Herbrand''s Theorem and Skolem Functions
Explore frontiers →
Gentzen-Style Systems and Sequent Calculi
Explore frontiers →
Fixpoint Logics and Iteration
Explore frontiers →
Circularity and Grounded Theories
Explore frontiers →
Structural Proof Theory and Modular Analysis
Explore frontiers →
Dependent Type Theory and Universes
Explore frontiers →
Abstract Interpretation and Program Verification
Explore frontiers →
Topos Theory and Logical Frameworks
Explore frontiers →
Recursive Ordinals and Ordinal Notations
Explore frontiers →
Epsilon Numbers and Transfinite Arithmetic
Explore frontiers →
Impredicativity and Circularity in Foundations
Explore frontiers →
Inductive Definitions and Wellfounded Recursion
Explore frontiers →
Logical Strength and Consistency Hierarchies
Explore frontiers →
Free Logic and Existence Assumptions
Explore frontiers →
Subfunction Logic and Partial Application
Explore frontiers →
Nominal Logic and Fresh Names
Explore frontiers →
Heyting Arithmetic and Intuitionistic Number Theory
Explore frontiers →
Classical Realizability and Truth Values
Explore frontiers →
Kripke Semantics and Modal Completeness
Explore frontiers →
Institutional Logics and Logic Frameworks
Explore frontiers →
Logical Frameworks and Metalogical Reasoning
Explore frontiers →
Bidirectional Type Checking and Synthesis
Explore frontiers →
Gradual Type Theory and Partial Typing
Explore frontiers →
Session Types and Linear Communication
Explore frontiers →
Existential Types and Type Abstraction
Explore frontiers →
Polymorphic Type Systems and Parametricity
Explore frontiers →
Gradedness and Strict Positivity Conditions
Explore frontiers →
Observational Equivalence and Program Equivalence
Explore frontiers →
Continuation Passing Style and Control
Explore frontiers →
Separation Logic and Heap Reasoning
Explore frontiers →
Type Theory for Concurrent Programs
Explore frontiers →
Internalizing Metatheory in Type Theory
Explore frontiers →
Structural Proof Theory and Sequent Systems
Explore frontiers →
Structural Proof Theory and Cut Elimination
Explore frontiers →