Pages that link to "Item:Q5262974"

The following pages link to A Generalization of ACP Using Belnap's Logic (Q5262974):

Displaying 7 items.

• A generalization of ACP using Belnap's logic (Q864509) (← links)
• Process algebra and conditional composition (Q1607116) (← links)
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
• Belnap's logic and conditional composition (Q2464948) (← links)
• Splitting bisimulations and retrospective conditions (Q2500474) (← links)
• The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
• A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)