Pages that link to "Item:Q5776903"

The following pages link to Modalities in the <i>Survey</i> system of strict implication (Q5776903):

Displaying 10 items.

• Axioms for deliberative stit (Q1272834) (← links)
• Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
• Systematische Basisreduktion der Modalitäten bei Idempotenz der positiven Grundmodalitäten (Q2649854) (← links)
• Kriterien für die Herleitbarkeit in Modalitätenstrukturen (Q3244101) (← links)
• Modalities in Ackermann's “rigorous implication” (Q3262776) (← links)
• (Q4742767) (← links)
• The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church (Q5208102) (← links)
• Results concerning the decision problem of Lewis's calculi S3 and S6 (Q5793831) (← links)
• On the semantic non-completeness of certain Lewis calculi (Q5809944) (← links)
• Improved decision procedures for Lewis's calculus S4 and von Wright's calculus <i>M</i> (Q5829786) (← links)