Pages that link to "Item:Q497427"
From MaRDI portal
The following pages link to Intricate axioms as interaction axioms (Q497427):
Displaying 6 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Intricate axioms as interaction axioms (Q497427) (← links)
- An axiomatisation for minimal social epistemic logic (Q1679816) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Pointwise intersection in neighbourhood modal logic (Q5224589) (← links)
- Logics of true belief (Q6564677) (← links)