The 27th International Workshop, WoLLIC 2021

View Statistics Email Alert RSS Feed

Description

Event name
The 27th International Workshop, WoLLIC 2021
 
Event type
Event for scientific audience
 
Start date
05-10-2021
End date
08-10-2021
 
Location
online international
Country
 
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Freiman, Robert Games for Hybrid Logic : From Semantic Games to Analytic CalculiKonferenzbeitrag Inproceedings 2021
2Pavlova, Alexandra Provability Games for Non-classical Logics : Mezhirov Game for $$\mathbf {MPC}$$, $$\mathbf {KD!}$$, and $$\mathbf {KD}$$Konferenzbeitrag Inproceedings 2021
3van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021