![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
LFCS 2018: Deerfield Beach, FL, USA
- Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10703, Springer 2018, ISBN 978-3-319-72055-5 - Antonis Achilleos
:
The Completeness Problem for Modal Logic. 1-21 - Sergei N. Artëmov
:
Justification Awareness Models. 22-36 - Arnon Avron, Liron Cohen
:
A Minimal Computational Theory of a Minimal Computational Universe. 37-54 - Matthias Baaz
, Alexander Leitsch
, Anela Lolic
:
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. 55-71 - Simone Barlocco, Clemens Kupke
:
Angluin Learning via Logic. 72-90 - Lev D. Beklemishev:
A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇. 91-106 - Kai Brünnler, Dandolo Flumini, Thomas Studer
:
A Logic of Blockchain Updates. 107-119 - Agata Ciabattoni
, Tim Lyon
, Revantha Ramanayake
:
From Display to Labelled Proofs for Tense Logics. 120-139 - Hannes Diener
, Robert S. Lubarsky:
Notions of Cauchyness and Metastability. 140-153 - Thomas Macaulay Ferguson:
A Gödel-Artemov-Style Analysis of Constructible Falsity. 154-169 - Silvia Ghilezan
, Jelena Ivetic, Simona Kasterovic
, Zoran Ognjanovic, Nenad Savic:
Probabilistic Reasoning About Simply Typed Lambda Terms. 170-189 - Miika Hannula
, Juha Kontinen
, Jonni Virtema
:
Polyteam Semantics. 190-210 - Vladimir N. Krupski
:
On the Sharpness and the Single-Conclusion Property of Basic Justification Models. 211-220 - Yanhong A. Liu, Scott D. Stoller:
Founded Semantics and Constraint Semantics of Logic Rules. 221-241 - Robert S. Lubarsky:
Separating the Fan Theorem and Its Weakenings II. 242-255 - Valeria de Paiva
, Harley Eades III:
Dialectica Categories for the Lambek Calculus. 256-272 - V. Alexis Peluce
:
From Epistemic Paradox to Doxastic Arithmetic. 273-288 - Benjamin Ralph
:
A Natural Proof System for Herbrand's Theorem. 289-308 - Sam Sanders:
Metastability and Higher-Order Computability. 309-330 - Rick Statman:
The Completeness of BCD for an Operational Semantics. 331-336 - Junhua Yu
:
A Tableau System for Instantial Neighborhood Logic. 337-353 - Alexander Zapryagaev
, Fedor Pakhomov
:
Interpretations of Presburger Arithmetic in Itself. 354-367
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.