WoLLIC

Keyphrases

Publications

2023

Makoto Kanazawa
Learning Context-Free Grammars from Positive Data and Membership Queries. WoLLIC (2023)
Ilya Shapirovsky
Decidability of Modal Logics of Non-k-Colorable Graphs. WoLLIC (2023)
Niccolò Veltri
Maximally Multi-focused Proofs for Skew Non-Commutative MILL. WoLLIC (2023)
Magdalena Ortiz
A Short Introduction to SHACL for Logicians. WoLLIC (2023)
Satoshi Nakata
Parallelism in Realizability Models. WoLLIC (2023)
Thomas Ferguson, Vít Puncochár
Structural Completeness and Superintuitionistic Inquisitive Logics. WoLLIC (2023)
Yasir Mahmood, Jonni Virtema
Parameterized Complexity of Propositional Inclusion and Independence Logic. WoLLIC (2023)
Igor Sedlár, Pietro Vigiani
Relevant Reasoning and Implicit Beliefs. WoLLIC (2023)
Sandra Alves, Delia Kesner, Miguel Ramos
Quantitative Global Memory. WoLLIC (2023)
Peng Fu, Peter Selinger
Towards an Induction Principle for Nested Data Types. WoLLIC (2023)
Tyler Brunet, Gillman Payette
An Evidence Logic Perspective on Schotch-Jennings Forcing. WoLLIC (2023)
Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer
Conditional Obligations in Justification Logic. WoLLIC (2023)
Tin Perkov
Bisimulations Between Verbrugge Models and Veltman Models. WoLLIC (2023)
Jan Rooduijn, Yde Venema
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. WoLLIC (2023)
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Two-Layered Logics for Paraconsistent Probabilities. WoLLIC (2023)
Allen Van Gelder
Subsumption-Linear Q-Resolution for QBF Theorem Proving. WoLLIC (2023)
Robert Freiman, Michael Bernreiter
Validity in Choice Logics - A Game-Theoretic Investigation. WoLLIC (2023)
Arka Banerjee
Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. WoLLIC (2023)
Matthias Baaz, Anela Lolic
Effective Skolemization. WoLLIC (2023)
Tim French
Aleatoric Propositions: Reasoning About Coins. WoLLIC (2023)
Bart Jacobs
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. WoLLIC (2023)
Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC (2023)
Dusko Pavlovic, Temra Pavlovic
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). WoLLIC (2023)

volume 13923, 2023

Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings WoLLIC 13923 (2023)

2022

volume 13468, 2022

Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings WoLLIC 13468 (2022)