Skip to content
<title>Channels - Analytic Tableaux for Simple Type Theory and its First-Order Fragment :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Search for more channels:
Similar Items: Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Channel Options
View Record
Explore related channels
Quick Look
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
Quick Look
Dualized Simple Type Theory
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
Craig Interpolation for Decidable First-Order Fragments
Quick Look
Data-Aware Hybrid Tableaux
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Quick Look
Undecidable First-Order Theories of Affine Geometries
Quick Look
Typed realizability for first-order classical analysis
Quick Look
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Quick Look
Complexity results for modal logic with recursion via translations and tableaux
Quick Look
The First-Order Theory of Ground Tree Rewrite Graphs
Quick Look
First Order Theories of Some Lattices of Open Sets
Quick Look
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Quick Look
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Quick Look
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Quick Look
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Quick Look
A Rewriting View of Simple Typing
Quick Look
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Quick Look
The succinctness of first-order logic on linear orders
Quick Look
Order-Invariant Types and Their Applications
Quick Look
Game semantics for first-order logic
Load more items
View Record
Prev
Explore related channels
Next
