Pages that link to "Item:Q4834298"
From MaRDI portal
The following pages link to Some Completeness Results for Propositional Conditional Logics (Q4834298):
Displaying 11 items.
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- Set-theoretic completeness for epistemic and conditional logic (Q1978015) (← links)
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete (Q2367539) (← links)
- Conditionals and quantifiers (Q2702241) (← links)
- (Q3533560) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- (Q3678664) (← links)
- (Q4353623) (← links)
- Barwise Completeness Theorems for Some Biprobability Logics (Q4724599) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)