Playing Lorenzen Dialogue Games on the Web | Zendy

Jesse Alama | Zendy; Sara L. Uckelman | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Playing Lorenzen Dialogue Games on the Web

Author(s) -

Jesse Alama,

Sara L. Uckelman

Publication year - 2018

Publication title -

epic series in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 2398-7340

DOI - 10.29007/7v3p

Subject(s) - heuristics , computer science , variety (cybernetics) , combinatorial game theory , human–computer interaction , theoretical computer science , game theory , sequential game , artificial intelligence , mathematical economics , mathematics , operating system

We announce an interactive website for exploring logic with the help of Lorenzen dialogue games. The site allows one to play concrete dialogue games and compute winning plays and winning strategies from initial segments of such games. A variety of dialogue rule sets are available, allowing one to explore different logics through a uniform framework. We have also implemented several formula translations, so that one can explore how games vary as one changes the initial formula of a dialogue game, and we consider some heuristics for computing winning plays and winning strategies.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research