Combining and automating classical and non-classical logics in classical higher-order logics (Q656826): Difference between revisions

@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leo
@@ Property / describes a project that uses: Leo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Satallax
@@ Property / describes a project that uses: Satallax / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-011-9249-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2090076725
@@ Property / OpenAlex ID: W2090076725 / rank @@
+Normal rank
@@ Property / cites work @@
+General models and extensionality
@@ Property / cites work: General models and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+General models, descriptions, and choice in type theory
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+TPS: A hybrid automatic-interactive system for developing proofs
+Normal rank
@@ Property / cites work @@
+Analytic Tableaux for Higher-Order Logic with Choice
+Normal rank
@@ Property / cites work @@
+Q4263170
@@ Property / cites work: Q4263170 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
+Normal rank
@@ Property / cites work @@
+Higher-order semantics and extensionality
@@ Property / cites work: Higher-order semantics and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086787
@@ Property / cites work: Q3086787 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal and intuitionistic logics in simple type theory
+Normal rank
@@ Property / cites work @@
+THF0 – The Core of the TPTP Language for Higher-Order Logic
+Normal rank
@@ Property / cites work @@
+LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+Why combine logics?
@@ Property / cites work: Why combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412850
@@ Property / cites work: Q4412850 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for first-order hybrid logic
@@ Property / cites work: Natural deduction for first-order hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3586992
@@ Property / cites work: Q3586992 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for first order S5
@@ Property / cites work: Interpolation for first order S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating tableau systems for hybrid logic with difference and converse
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+A compact representation of proofs
@@ Property / cites work: A compact representation of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal logic programming
@@ Property / cites work: Multimodal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic programming revisited
@@ Property / cites work: Modal logic programming revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP World – Infrastructure for Automated Reasoning
+Normal rank
@@ Property / cites work @@
+Q3075241
@@ Property / cites work: Q3075241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank