Pages that link to "Item:Q4651488"

The following pages link to Complete Axiomatizations for Reasoning about Knowledge and Time (Q4651488):

Displaying 2 items.

• Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
• A Connectionist Computational Model for Epistemic and Temporal Reasoning (Q5476690) (← links)