Cut-elimination for quantified conditional logic
From MaRDI portal
Publication:2363418
Recommendations
Cites work
- scientific article; zbMATH DE number 5850137 (Why is no real title available?)
- scientific article; zbMATH DE number 5872255 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3708349 (Why is no real title available?)
- scientific article; zbMATH DE number 1341621 (Why is no real title available?)
- scientific article; zbMATH DE number 7015113 (Why is no real title available?)
- scientific article; zbMATH DE number 3349775 (Why is no real title available?)
- scientific article; zbMATH DE number 3085192 (Why is no real title available?)
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
- A first-order conditional logic for prototypical properties
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
- A proof of cut-elimination theorem in simple type-theory
- A sequent calculus and a theorem prover for standard conditional logics
- An Unsolvable Problem of Elementary Number Theory
- An example on the fundamental conjecture of \(GLC\)
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment
- Analytic tableaux for higher-order logic with choice
- Automated Deduction – CADE-20
- Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
- Basic conditional logic
- Combining and automating classical and non-classical logics in classical higher-order logics
- Completeness in the theory of types
- Cut-Simulation and Impredicativity
- Cut-elimination for simple type theory with an axiom of choice
- Embedding and automating conditional logics in classical higher-order logic
- Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}
- First-order conditional logic for default reasoning revisited
- General models and extensionality
- General models, descriptions, and choice in type theory
- Generic modal cut elimination applied to conditional logics
- Hauptsatz for higher order logic
- Higher-order semantics and extensionality
- Intensional models for the theory of types
- Interpolation for first order S5
- Multimodal and intuitionistic logics in simple type theory
- On first-order conditional logics
- Proof theory
- Quantified multimodal logics in simple type theory
- Reasoning with higher-order abstract syntax in a logical framework
- Resolution in type theory
- Satallax: An Automatic Higher-Order Prover
- Sufficient conditions for cut elimination with complexity analysis
- Syntactical and semantical properties of simple type theory
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- The higher-order prover \textsc{Leo}-II
Cited in
(14)- Automating free logic in HOL, with an experimental application in category theory
- Simulating non-prenex cuts in quantified propositional calculus
- Extensional higher-order paramodulation in Leo-III
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Towards a clausal analysis of cut-elimination
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
- Some embedding theorems for conditional logic
- Cut elimination for a calculus with context-dependent rules
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Generic Modal Cut Elimination Applied to Conditional Logics
- On the elimination of quantifier-free cuts
- The role of quantifier alternations in cut elimination
- Cut-elimination for knowledge logics with interaction
This page was built for publication: Cut-elimination for quantified conditional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363418)
