Search results for "WoLLIC"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Liron Cohen 0001, Robert L. Constable	Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Vito Michele Abrusci, Roberto Maieli	Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Alessandro Facchini, Filip Murlak, Michal Skrzypczak	On the Weak Index Problem for Game Automata.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Katsuhiko Sano, Jonni Virtema	Characterizing Frame Definability in Team Semantics via the Universal Modality.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Andreia Mordido, Carlos Caleiro	An Equation-Based Classical Logic.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Prasit Bhattacharya	The p-adic Integers as Final Coalgebra.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Jörg Endrullis, Lawrence S. Moss	Syllogistic Logic with "Most".	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	On Topologically Relevant Fragments of the Logic of Linear Flows of Time.	WoLLIC	2015	DBLP DOI BibTeX RDF
1	Zachary Heckle, Pavel Naumov	Common Knowledge Semantics of Armstrong's Axioms.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Ori Lahav 0001, Yoni Zohar	On the Construction of Analytic Sequent Calculi for Sub-classical Logics.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Alexander Baumgartner, Temur Kutsia	Unranked Second-Order Anti-Unification.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Luca Viganò 0001, Marco Volpe 0001, Margherita Zorzi	Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper).	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Ivano Ciardelli	Interrogative Dependencies and the Constructive Content of Inquisitive Proofs.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Sergio Abriola, María Emilia Descotte, Santiago Figueira	Definability for Downward and Vertical XPath on Data Trees.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe Bowles, Petrucio Viana	On Distributed Stochastic Logics for Mobile Systems.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Sequentialization for N-Graphs via Sub-N-Graphs.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Alessandra Di Pierro, Federica Panarotto	A Calculus of Anyons.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber	Logics with Copy and Remove.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Petr Cintula, Carles Noguera	Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz (eds.)	Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Dan E. Willard	On the Broader Epistemological Significance of Self-Justifying Axiom Systems.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Liron Cohen 0001, Arnon Avron	Ancestral Logic: A Proof Theoretical Study.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Beniamino Accattoli, Claudio Sacerdoti Coen	On the Value of Variables.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Gustavo Adrian Bodanza, Claudio A. Alessio	Reinstatement and the Requirement of Maximal Specificity in Argument Systems.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Zoltán Ésik, Panos Rondogiannis	Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.	WoLLIC	2014	DBLP DOI BibTeX RDF
1	Natasha Alechina	Logic and Agent Programming Languages.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Argimiro Arratia, Carlos E. Ortiz	First Order Extensions of Residue Classes and Uniform Circuit Complexity.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Emiliano Lorini	Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Fredrik Engström, Juha Kontinen, Jouko A. Väänänen	Dependence Logic with Generalized Quantifiers: Axiomatizations.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Wim Martens	Counting in SPARQL Property Paths: Perspectives from Theory and Practice.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Hidenori Kurokawa, Hirohiko Kushida	Substructural Logic of Proofs.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Igor Sedlár	Information, Awareness and Substructural Logics.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Julian-Steffen Müller, Heribert Vollmer	Model Checking for Modal Dependence Logic: An Approach through Post's Lattice.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong	Quantum Probabilistic Dyadic Second-Order Logic.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Sjur Kristoffer Dyrkolbotn	The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz (eds.)	Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Yoshihiro Maruyama	Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Mikolaj Bojanczyk	Modelling Infinite Structures with Atoms.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Steven Awodey	Natural Models of Homotopy Type Theory (Abstract).	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Michael P. Fourman	Continuous Truth II: Reflections.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger	A Finite Model Property for Gödel Modal Logics.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Andreas Herzig	A Simple Separation Logic.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer	Extended Modal Dependence Logic.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi	Quantitative Approaches to Information Protection.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema	Boolean Dependence Logic and Partially-Ordered Connectives.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Agata Ciabattoni, Revantha Ramanayake	Structural Extensions of Display Calculi: A General Recipe.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Thomas Schwentick	Perspectives of Dynamic Complexity.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Juha Kontinen, Sebastian Link, Jouko A. Väänänen	Independence in Database Relations.	WoLLIC	2013	DBLP DOI BibTeX RDF
1	Hans van Ditmarsch	Quantifying Notes.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Luis Menasché Schechter	A Logic of Plausible Justifications.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Marco Volpe 0001, João Marcos 0001, Carlos Caleiro	Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Willem L. Fouché	Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Nicole Schweikardt	On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Benjamin Rossman	A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Volker Diekert, Anca Muscholl	On Distributed Monitoring of Asynchronous Systems.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty	Preservation under Substructures modulo Bounded Cores.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Alejandro Díaz-Caro, Barbara Petit	Linearity in the Non-deterministic Call-by-Value Setting.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Amin Farjudian	Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Ekaterina B. Fokina, Sy-David Friedman, André Nies	Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract).	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Alexandru Baltag, Bryan Renne, Sonja Smets	The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Laura Kallmeyer, Rainer Osswald	An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	George Metcalfe	Admissible Rules: From Characterizations to Applications.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Peter Selinger	Logical Methods in Quantum Information Theory.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Sergio Abriola, Santiago Figueira, Gabriel Senno	Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Andrea Asperti, Wilmer Ricciotti	Formalizing Turing Machines.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong, Ruy J. G. B. de Queiroz (eds.)	Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Sebastian Link	Propositional Reasoning about Saturated Conditional Probabilistic Independence.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Márcio Moretto Ribeiro, Marcelo E. Coniglio	Contracting Logics.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Benedikt Ahrens	Initiality for Typed Syntax and Semantics.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Claudio Callejas, João Marcos 0001, Benjamín René Callejas Bedregal	On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Paolo Baldi, Agata Ciabattoni, Lara Spendier	Standard Completeness for Extensions of MTL: An Automated Approach.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001	Moving Arrows and Four Model Checking Results.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden	Minimization via Duality.	WoLLIC	2012	DBLP DOI BibTeX RDF
1	Rosalie Iemhoff	Unification in Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Lev D. Beklemishev, Ruy J. G. B. de Queiroz (eds.)	Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Nathaniel Charlton	Hoare Logic for Higher Order Store Using Simple Semantics.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Samuel Bucheli, Roman Kuznets, Thomas Studer	Partial Realization in Dynamic Justification Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera	Basic Model Theory for Memory Logics.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Michael Zakharyaschev	Logic in the Time of WWW: An OWL View.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Charles Jordan, Thomas Zeugmann	Untestable Properties in the Kahr-Moore-Wang Class.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins	Hybrid Logics and NP Graph Properties.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Juha Kontinen, Jakub Szymanik	Characterizing Definability of Second-Order Generalized Quantifiers.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Antonis Achilleos	A Complexity Question in Justification Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Paula Severi, Fer-Jan de Vries	Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Grigori Mints	Countable Version of Omega-Rule.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Camilo Thorne	Querying the Fragments of English.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Daniyar S. Shamkanov	Strong Normalization and Confluence for Reflexive Combinatory Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	John C. Mitchell	A Symbolic Logic with Exact Bounds for Cryptographic Protocols.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Santiago Figueira, Daniel Gorín, Rafael Grimson	On the Expressive Power of IF-Logic with Classical Negation.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Yoad Winter	Relational Concepts and the Logic of Reciprocity.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Vladimir Voevodsky	Univalent Foundations of Mathematics.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Rick Statman	On Polymorphic Types of Untyped Terms.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent	The Boyce-Codd-Heath Normal Form for SQL.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Igor Yanovich	How Much Expressive Power Is Needed for Natural Language Temporal Indexicality?	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Alexander Horn	Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Michael S. Donders, Sara Miner More, Pavel Naumov	Information Flow on Directed Acyclic Graphs.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Ranald Clouston	Nominal Lawvere Theories.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Peter Verdée	Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Aubrey da Cunha	Turing Machines on Cayley Graphs.	WoLLIC	2011	DBLP DOI BibTeX RDF

Publications at "WoLLIC"( http://dblp.L3S.de/Venues/WoLLIC )