default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLFCS 2016: Deerfield Beach, FL, USA
- Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science 9537, Springer 2016, ISBN 978-3-319-27682-3 - Antonis Achilleos
:
Modal Logics with Hard Diamond-Free Fragments. 1-13 - Evangelia Antonakos:
Pairing Traditional and Generic Common Knowledge. 14-26 - Sergei N. Artëmov:
On Aggregating Probabilistic Evidence. 27-42 - Marco Devesas Campos, Marcelo P. Fiore:
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. 43-59 - Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel:
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. 60-75 - Alex Citkin:
Multiple Conclusion Rules in Logics with the Disjunction Property. 76-89 - Harley Eades III, Valeria de Paiva:
Multiple Conclusion Linear Logic: Cut Elimination and More. 90-105 - Nathanaël Fijalkow:
The Online Space Complexity of Probabilistic Languages. 106-116 - Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak:
Type Theoretical Databases. 117-129 - Bernhard Heinemann:
Augmenting Subset Spaces to Cope with Multi-agent Knowledge. 130-145 - Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:
On Lambek's Restriction in the Presence of Exponential Modalities. 146-158 - Bakhadyr Khoussainov:
A Quest for Algorithmically Random Infinite Structures, II. 159-173 - Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer:
Probabilistic Justification Logic. 174-186 - Vladimir N. Krupski, Alexey Yatmanov:
Sequent Calculus for Intuitionistic Epistemic Logic IEL. 187-201 - Roman Kuznets:
Interpolation Method for Multicomponent Sequent Calculi. 202-218 - Daniel R. Licata, Michael Shulman:
Adjoint Logic with a 2-Category of Modes. 219-235 - Robert S. Lubarsky:
Parallel Feedback Turing Computability. 236-250 - Scott Messick:
Compactness in the Theory of Continuous Automata. 251-266 - Henryk Michalewski, Matteo Mio:
Measure Quantifier in Monadic Second Order Logic. 267-282 - Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano:
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. 283-298 - Iosif Petrakis:
The Urysohn Extension Theorem for Bishop Spaces. 299-316 - Tudor Protopopescu:
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. 317-330 - Ramaswamy Ramanujam, Ramanathan S. Thinniyam:
Definability in First Order Theories of Graph Orderings. 331-348 - R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
The Complexity of Disjunction in Intuitionistic Logic. 349-363 - Vladimir V. Rybakov:
Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. 364-375 - Alexey Sorokin:
Ogden Property for Linear Displacement Context-Free Grammars. 376-391 - Rick Statman:
Levy Labels and Recursive Types. 392-406
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
