The following pages link to (Q5483006):
Displaying 7 items.
- The power of a propositional constant (Q742479) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- (Q3315479) (← links)
- (Q3830980) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)