Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steve Huntsman |
The Multiresolution Analysis of Flow Graphs. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Gerhard Jäger, Graham E. Leigh |
An Infinitary Treatment of Full Mu-Calculus. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema |
Descriptive Complexity of Deterministic Polylogarithmic Time. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marianna Girlando, Sara Negri, Giorgio Sbardolini |
Uniform Labelled Calculi for Conditional and Counterfactual Logics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Blackburn, Manuel A. Martins 0001, María Manzano, Antonia Huertas |
Rigid First-Order Hybrid Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kubota, Robert Levine |
Modal Auxiliaries and Negation: A Type-Logical Account. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara |
Bar Induction and Restricted Classical Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Acclavio, Lutz Straßburger |
On Combinatorial Proofs for Logics of Relevance and Entailment. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Fan Yang 0004 |
Logics for First-Order Team Properties. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yury Savateev, Daniyar S. Shamkanov |
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt |
The One-Variable Fragment of Corsi Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis |
Non Normal Logics: Semantic Analysis and Proof Theory. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eveline Lehmann, Thomas Studer |
Subset Models for Justification Logic. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González |
The McKinsey-Tarski Theorem for Topological Evidence Logics. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Anela Lolic |
Note on Globally Sound Analytic Calculi for Quantifier Macros. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Reverse Mathematics and Computability Theory of Domain Theory. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
Modelling Informational Entropy. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denis I. Saveliev |
On First-Order Expressibility of Satisfiability in Submodels. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira |
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky |
The Undecidability of Orthogonal and Origami Geometries. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Petr Cintula, Tomás Lávicka |
Lindenbaum and Pair Extension Lemma in Infinitary Logics. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Symbolic Reasoning Methods in Rewriting Logic and Maude. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Nascimento, Umberto Rivieccio, João Marcos 0001, Matthew Spinks |
Algebraic Semantics for Nelson's Logic S S. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomoaki Kawano |
Advanced Kripke Frame for Quantum Logic. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Akiyoshi |
A Formalization of Brouwer's Argument for Bar Induction. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniyar Itegulov, Ekaterina Lebedeva |
Handling Verb Phrase Anaphora with Dependent Types and Events. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
Unification Modulo Builtins. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Bimbó |
Inhabitants of Intuitionistic Implicational Theorems. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval |
APAL with Memory Is Better. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Miguel Campercholi, Pablo Ventura |
Deciding Open Definability via Subisomorphisms. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
Formalization of the Undecidability of the Halting Problem for a Functional Language. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez (eds.) |
Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elaine Pimentel |
A Semantical View of Proof Systems. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Smets, Anthia Solaki |
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies |
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl |
The Epistemology of Nondeterminism. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
Beliefs Based on Evidence and Argumentation. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, José Maria Turull Torres |
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell |
Non-commutative Logic for Compositional Distributional Semantics. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie |
A Geometry of Interaction Machine for Gödel's System T. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
Constructive Canonicity for Lattice-Based Fixed Point Logics. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lev D. Beklemishev |
On the Reflection Calculus with Partial Conservativity Operators. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen |
Shift Registers Fool Finite Automata. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fedor Pakhomov |
Solovay's Completeness Without Fixed Points. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai L. Poliakov, Denis I. Saveliev |
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Almudena Colacito, George Metcalfe |
Proof Theory and Ordered Groups. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bruscoli, Lutz Straßburger |
On the Length of Medial-Switch-Mix Derivations. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Cameron E. Freer |
Graph Turing Machines. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juliette Kennedy, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Barbero, Lauri Hella, Raine Rönnholm |
Independence-Friendly Logic Without Henkin Quantification. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Marcelino, Carlos Caleiro |
Disjoint Fibring of Non-deterministic Matrices. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Tomasz Godziszewski, Joel David Hamkins |
Computable Quotient Presentations of Models of Arithmetic and Set Theory. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Mostowski, Marek Czarnecki |
Concrete Mathematics. Finitistic Approach to Foundations. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Substructural Logics with a Reflexive Transitive Closure Modality. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguang Zhao |
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Greco 0001, Alessandra Palmigiano |
Lattice Logic Properly Displayed. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhaohui Luo, Sergei Soloviev 0001 |
Dependent Event Types. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann, Jean-José Razafindrakoto |
Total Search Problems in Bounded Arithmetic and Improved Witnessing. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vít Puncochár |
Knowledge Is a Diamond. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Greco 0001, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
Multi-type Display Calculus for Semi De Morgan Logic. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
An Epistemic Generalization of Rationalizability. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stepan L. Kuznetsov |
The Lambek Calculus with Iteration: Two Variants. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gijs Jasper Wijnholds |
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yury Savateev, Daniyar S. Shamkanov |
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden |
Generalized Relations in Linguistics and Cognition. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniyar S. Shamkanov |
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. |
WoLLIC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang 0004 |
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan P. Aguilera 0001, Matthias Baaz |
Cut Elimination for Gödel Logic with an Operator Adding a Constant. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan P. Aguilera 0001 |
Compactness in Infinitary Gödel Logics. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets |
Justified Belief and the Topology of Evidence. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Simone Severini, Octavio Zapata |
Descriptive Complexity of Graph Spectra. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ozan Kahramanogullari |
True Concurrency of Deep Inference Proofs. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida |
On the Formalization of Some Results of Context-Free Language Theory. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Torben Braüner, Patrick Blackburn, Irina Polyanskaya |
Second-Order False-Belief Tasks: Analysis and Formalization. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Matej Dostál |
Expressivity of Many-Valued Modal Logics, Coalgebraically. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
Causality in Bounded Petri Nets is MSO Definable. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Frittella, Giuseppe Greco 0001, Alessandra Palmigiano, Fan Yang 0004 |
A Multi-type Calculus for Inquisitive Logic. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky, Elena V. Ravve |
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen |
A Logical Approach to Context-Specific Independence. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló |
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raine Rönnholm |
The Expressive Power of k-ary Exclusion Logic. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Pouliasis |
A Curry-Howard View of Basic Justification Logic. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John T. Baldwin 0001 |
Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zuber |
Anaphors and Quantifiers. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard |
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
Categories: How I Learned to Stop Worrying and Love Two Sorts. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Lin 0002, Minghui Ma |
On the Complexity of the Equational Theory of Residuated Boolean Algebras. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maicol A. Ochoa, Andrés Villaveces |
Sheaves of Metric Structures. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anselm Haak, Heribert Vollmer |
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano, Jonni Virtema |
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu 0001 |
The Semantics of Corrections. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
Proof-Theoretic Aspects of the Lambek-Grishin Calculus. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
Parametric Polymorphism - Universally. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ronald de Haan, Jakub Szymanik |
A Dichotomy Result for Ramsey Quantifiers. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James M. Belk, Robert W. McGrail |
The Word Problem for Finitely Presented Quandles is Undecidable. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
Equational Properties of Stratified Least Fixed Points (Extended Abstract). |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche |
An Epistemic Separation Logic. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira (eds.) |
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|