Pages that link to "Item:Q5946358"
From MaRDI portal
The following pages link to Basic objectives of dialogue logic in historical perspective (Q5946358):
Displaying 8 items.
- First-order dialogical games and tableaux (Q484155) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Dialogues, Reasons and Endorsement (Q3305643) (← links)
- Conceptions of Infinity and Set in Lorenzen’s Operationist System (Q5024723) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments (Q5069527) (← links)