Some Completeness Results for Propositional Conditional Logics
From MaRDI portal
Recommendations
- Completeness theory for propositional logics
- On the completeness of propositional Hoare logic
- scientific article; zbMATH DE number 3931008
- scientific article; zbMATH DE number 4106819
- Completeness and conservative extension results for some Boolean relevant logics
- Completeness and decidability results for some propositional modal logics containing ``actually operators
- On completeness of logic programs
- Completeness of the generalized propositional calculus
- Completeness and decidability results for a logic of contrary-to-duty conditionals
- Structural completeness in propositional logics of dependence
Cited in
(13)- Set-theoretic completeness for epistemic and conditional logic
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
- Conditionals and quantifiers
- scientific article; zbMATH DE number 5356414 (Why is no real title available?)
- A term-graph clausal logic: completeness and incompleteness results ★
- Theorem proving for conditional logics: CondLean and GOALDUCK
- scientific article; zbMATH DE number 3900148 (Why is no real title available?)
- scientific article; zbMATH DE number 1059316 (Why is no real title available?)
- Barwise Completeness Theorems for Some Biprobability Logics
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- A completeness proof for a regular predicate logic with undefined truth value
- Strengthened conditionals
- Completeness and correspondence in Chellas-Segerberg semantics
This page was built for publication: Some Completeness Results for Propositional Conditional Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4834298)
