| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Rooduijn, Yde Venema |
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.  |
WoLLIC  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tin Perkov |
Bisimulations Between Verbrugge Models and Veltman Models. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Fu 0001, Peter Selinger |
Towards an Induction Principle for Nested Data Types. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French 0002 |
Aleatoric Propositions: Reasoning About Coins. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár, Pietro Vigiani |
Relevant Reasoning and Implicit Beliefs. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Delia Kesner, Miguel Ramos 0002 |
Quantitative Global Memory. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arka Banerjee |
Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer |
Two-Layered Logics for Paraconsistent Probabilities. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Brunet, Gillman Payette |
An Evidence Logic Perspective on Schotch-Jennings Forcing. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Anela Lolic |
Effective Skolemization. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Freiman, Michael Bernreiter |
Validity in Choice Logics - A Game-Theoretic Investigation. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ortiz 0001 |
A Short Introduction to SHACL for Logicians. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Van Gelder |
Subsumption-Linear Q-Resolution for QBF Theorem Proving. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Veltri |
Maximally Multi-focused Proofs for Skew Non-Commutative MILL. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Macaulay Ferguson, Vít Puncochár |
Structural Completeness and Superintuitionistic Inquisitive Logics. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Shapirovsky |
Decidability of Modal Logics of Non-k-Colorable Graphs. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Nakata |
Parallelism in Realizability Models. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Mahmood 0002, Jonni Virtema |
Parameterized Complexity of Propositional Inclusion and Independence Logic. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Kanazawa |
Learning Context-Free Grammars from Positive Data and Membership Queries. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Didier Galmiche, Marta Gawek |
A Separation Logic with Histories of Epistemic Actions as Resources. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod |
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer |
Conditional Obligations in Justification Logic. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Valentin Cassano, Raul Fervari |
Non-monotonic Reasoning via Dynamic Consequence. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinghan Liu, Emiliano Lorini |
A Logic of "Black Box" Classifier Systems. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyang Wang, Yanjing Wang 0001 |
Tense Logics over Lattices. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Akbar Tabatabai |
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Quentin Gougeon |
Fixed Point Logics and Definable Topological Properties. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Dominik Wehr |
Abstract Cyclic Proofs. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giti Omidvar, Lutz Straßburger |
Combinatorial Flows as Bicolored Atomic Flows. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Interval Probability for Sessions Types. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Pacheco, Kazuyuki Tanaka |
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár, Johann J. Wannenburg |
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiguang Zhao |
Correspondence Theory for Generalized Modal Algebras. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Wehr, Dominik Kirst |
Material Dialogues for First-Order Logic in Constructive Type Theory. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani |
Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Maieli |
A Proof of the Focusing Theorem via MALL Proof Nets. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan P. Aguilera 0001, Martín Diéguez, David Fernández-Duque, Brett McLean |
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Naosuke Matsuda, Kento Takagi |
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Sefl, Tomás Svoboda |
Additive Types in Quantitative Type Theory. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote |
Multityped Abstract Categorial Grammars and Their Composition. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
On the Computational Properties of the Uncountability of the Real Numbers. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Malvin Gattinger |
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk, Oskar Fiuk |
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik 0001 |
Logic of Visibility in Social Networks. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang |
Subordination Algebras as Semantic Environment of Input/Output Logic. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu |
On the Subtle Nature of a Simple Logic of the Hide and Seek Game. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
Uniform Interpolation via Nested Sequents. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Saúl Fernández González |
Orthogonal Frames and Indexed Relations. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás González, Sergio Abriola |
Characterizations for XPath R(đownarrow ). |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant |
Algorithmically Broad Languages for Polynomial Time and Space. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Catta, Symon Jory Stevens-Guille |
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorel Iordache, Stefan Ciobaca |
Verifying the Conversion into CNF in Dafny. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
A Pure View of Ecumenical Modalities. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani |
Doubly Strongly First Order Dependencies. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timon Barlag, Heribert Vollmer |
A Logical Characterization of Constant-Depth Circuits over the Reals. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuefeng Wen |
Modal Logic via Global Consequence. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch |
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Konecný, Sewon Park 0001, Holger Thies |
Axiomatic Reals and Certified Efficient Exact Real Computation. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Pavlova |
Provability Games for Non-classical Logics. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From |
Formalized Soundness and Completeness of Epistemic Logic. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyang Zhong |
A General Relational Semantics of Propositional Logic: Axiomatization. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva 0001, Renata Wassermann, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Freiman |
Games for Hybrid Logic - From Semantic Games to Analytic Calculi. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Atefeh Rohani, Thomas Studer |
Explicit Non-normal Modal Logic. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissan Levi, Arnon Avron |
Analysis in a Formal Predicative Set Theory. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Veltri |
Coherence via Focusing for Symmetric Skew Monoidal Categories. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Max Sandström |
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Declan Thompson |
Computable Execution Traces. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár, Andrew Tedder |
Disjunction and Negation in Information Based Semantics. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Pezlar |
Meaning and Computing: Two Approaches to Computable Propositions. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Liefke |
A Case for Property-Type Semantics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc |
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Flaminio, Lluís Godo, Ricardo Oscar Rodríguez |
A Representation Theorem for Finite Gödel Algebras with Operators. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Louwe B. Kuijer |
Knowledge Without Complete Certainty. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
Weak Conservativity. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Eduardo Hermo Reyes |
A Self-contained Provability Calculus for Γ0. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Liang, Thiago Nascimento |
Algebraic Semantics for Quasi-Nelson Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer |
A Framework for Distributional Formal Semantics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim de Groot, Dirk Pattinson |
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday |
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár |
Substructural Propositional Dynamic Logics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Raheleh Jalali |
An Exponential Lower Bound for Proofs in Focused Calculi. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Lauri Hella |
Complexity Thresholds in Inclusion Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Powell 0001, Peter Schuster 0001, Franziskus Wiesnet |
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Omori, Daniel Skurt |
SIXTEEN _3 in Light of Routley Stars. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Carlo Milanese, Yde Venema |
Closure Ordinals of the Two-Way Modal µ-Calculus. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Shapirovsky |
Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Proof-Net as Graph, Taylor Expansion as Pullback. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Sérgio Marcelino |
Analytic Calculi for Monadic PNmatrices. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |
Bar-Hillel Theorem Mechanization in Coq. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license