Pages that link to "Item:Q2148773"
From MaRDI portal
The following pages link to Formalized soundness and completeness of epistemic logic (Q2148773):
Displaying 6 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Formalized soundness and completeness of epistemic logic (Q2148773) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- (Q5688889) (← links)
- A naive prover for first-order logic: a minimal example of analytic completeness (Q6541166) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)