Pages that link to "Item:Q1825630"

The following pages link to Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs? (Q1825630):

Displaying 4 items.

• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• Taming logic (Q1909607) (← links)
• A logical study of group-size based social network creation (Q2423774) (← links)
• Derivation rules as anti-axioms in modal logic (Q4276034) (← links)