Game-theoretic semantics for non-distributive logics

[1]  Lauri Hella,et al.  Bounded game-theoretic semantics for modal mu-calculus , 2020, GandALF.

[2]  Alasdair Urquhart,et al.  A topological representation theory for lattices , 1978 .

[3]  Tomoyuki Suzuki,et al.  Bi-approximation Semantics for Substructural Logic at Work , 2010, Advances in Modal Logic.

[4]  Robert Goldblatt,et al.  Semantic analysis of orthologic , 1974, J. Philos. Log..

[5]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[6]  Lorijn van Rooijen,et al.  Generalized Kripke semantics for the Lambek-Grishin calculus , 2012, Log. J. IGPL.

[7]  Mai Gehrke,et al.  Generalized Kripke Frames , 2006, Stud Logica.

[8]  Giorgi Japaridze.  A Constructive Game Semantics for the Language of Linear Logic , 1997, Ann. Pure Appl. Log..

[9]  Chrysafis Hartonas.  Discrete duality for lattices with modal operators , 2019, J. Log. Comput..

[10]  Chrysafis Hartonas.  Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics , 2018, Logica Universalis.

[11]  G. Sandu.  Games and Logic , 2013 .

[12]  Gerd Hartung,et al.  A topological representation of lattices , 1992 .

[13]  Alessandra Palmigiano,et al.  Canonical extensions and relational completeness of some substructural logics* , 2005, Journal of Symbolic Logic.

[14]  Can Baskent,et al.  Game theoretical semantics for some non-classical logics , 2016, J. Appl. Non Class. Logics.

[15]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[16]  Patrick Blackburn,et al.  Modal Logic As Dialogical Logic , 2001, Synthese.

[17]  Jaakko Hintikka,et al.  Game-Theoretical Semantics , 1997, Handbook of Logic and Language.

[18]  Ahti-Veikko Pietarinen,et al.  Games: Unifying Logic, Language, and Philosophy , 2009 .

[19]  Dan R. Ghica.  Applications of Game Semantics: From Program Analysis to Hardware Synthesis , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

[20]  Chrysafis Hartonas,et al.  Modal and temporal extensions of non-distributive propositional logics , 2016, Log. J. IGPL.

[21]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[22]  Chrysafis Hartonas,et al.  Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework , 2016, Journal of Philosophical Logic.

[23]  Christian G. Fermüller,et al.  Dialogue Games for Many-Valued Logics — an Overview , 2008, Stud Logica.

[24]  Gerard Allwein,et al.  Kripke models for linear logic , 1993, Journal of Symbolic Logic.

[25]  Chrysafis Hartonas.  Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework , 2018, J. Philos. Log..

[26]  Andreas Blass,et al.  A Game Semantics for Linear Logic , 1992, Ann. Pure Appl. Log..

[27]  Chrysafis Hartonas,et al.  Stone duality for lattices , 1997 .

[28]  Valentin Goranko,et al.  Game-Theoretic Semantics for ATL+ with Applications to Model Checking , 2017, AAMAS.

[29]  Marios Mavronicolas,et al.  Game Theory Meets Theoretical Computer Science , 2005, Theor. Comput. Sci..

[30]  Christian G. Fermüller,et al.  On Semantic Games for Łukasiewicz Logic , 2018 .

[31]  Gabriel Sandu,et al.  Jaakko Hintikka on Knowledge and Game-theoretical Semantics , 2018 .

[32]  Christian G. Fermüller,et al.  Hintikka-Style Semantic Games for Fuzzy Logics , 2014, FoIKS.

[33]  Walter Felscher,et al.  Dialogues, strategies, and intuitionistic provability , 1985 .

[34]  Ross T. Brady,et al.  Gentzenizations of relevant logics without distribution. II , 1996, Journal of Symbolic Logic.

[35]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[36]  Chrysafis Hartonas,et al.  Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics , 1997, Stud Logica.

[37]  Walter Felscher.  Dialogues as a Foundation for Intuitionistic Logic , 2002 .

[38]  Chrysafis Hartonas,et al.  Stone duality for lattice expansions , 2018, Log. J. IGPL.

[39]  Valentin Goranko,et al.  Game-Theoretic Semantics for Alternating-Time Temporal Logic , 2016, AAMAS.

[40]  Silvio Ghilardi,et al.  Constructive Canonicity in Non-Classical Logics , 1997, Ann. Pure Appl. Log..

[41]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

[42]  A. Pietarinen,et al.  Games in philosophical logic , 1999 .

[43]  Chrysafis Hartonas,et al.  Lattice logic as a fragment of (2-sorted) residuated modal logic , 2018, J. Appl. Non Class. Logics.

[44]  Christian G. Fermüller,et al.  Giles’s Game and the Proof Theory of Łukasiewicz Logic , 2009, Stud Logica.

[45]  Chrysafis Hartonas,et al.  Representation of Lattices with Modal Operators in Two-Sorted Frames , 2019, Fundam. Informaticae.

[46]  Radha Jagadeesan,et al.  Games and Full Completeness for Multiplicative Linear Logic , 1994, J. Symb. Log..

[47]  Christian G. Fermüller,et al.  Revisiting Giles's Game , 2009, Games: Unifying Logic, Language, and Philosophy.

[48]  Ugo Dal Lago,et al.  Quantitative Game Semantics for Linear Logic , 2008, CSL.

[49]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[50]  Miroslav Haviar,et al.  TiRS graphs and TiRS frames: a new setting for duals of canonical extensions , 2015 .

[51]  Tomoyuki Suzuki,et al.  A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC , 2013, The Review of Symbolic Logic.

[52]  J. Hintikka.  The Principles of Mathematics Revisited: Introduction , 1996 .