×

zbMATH — the first resource for mathematics

Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. (English) Zbl 1364.03006
Lecture Notes in Computer Science 9537. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). x, 407 p. (2016).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1322.03004].
Indexed articles:
Achilleos, Antonis, Modal logics with hard diamond-free fragments, 1-13 [Zbl 06751226]
Antonakos, Evangelia, Pairing traditional and Generic Common Knowledge, 14-26 [Zbl 06751227]
Artemov, Sergei, On aggregating probabilistic evidence, 27-42 [Zbl 06751228]
Devesas Campos, Marco; Fiore, Marcelo, Classical logic with Mendler induction – a dual calculus and its strong normalization, 43-59 [Zbl 06751229]
Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B., Index sets for finite normal predicate logic programs with function symbols, 60-75 [Zbl 06751230]
Citkin, Alex, Multiple conclusion rules in logics with the disjunction property, 76-89 [Zbl 06751231]
Eades, Harley; de Paiva, Valeria, Multiple conclusion linear logic: cut elimination and more, 90-105 [Zbl 06751232]
Fijalkow, Nathanaël, The online space complexity of probabilistic languages, 106-116 [Zbl 06751233]
Forssell, Henrik; Gylterud, Håkon Robbestad; Spivak, David I., Type theoretical databases, 117-129 [Zbl 06751234]
Heinemann, Bernhard, Augmenting subset spaces to cope with multi-agent knowledge, 130-145 [Zbl 06751235]
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre, On Lambek’s restriction in the presence of exponential modalities, 146-158 [Zbl 06751236]
Khoussainov, Bakhadyr, A quest for algorithmically random infinite structures, II, 159-173 [Zbl 06751237]
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas, Probabilistic justification logic, 174-186 [Zbl 06751238]
Krupski, Vladimir N.; Yatmanov, Alexey, Sequent calculus for intuitionistic epistemic logic IEL, 187-201 [Zbl 06751239]
Kuznets, Roman, Interpolation method for multicomponent sequent calculi, 202-218 [Zbl 06751240]
Licata, Daniel R.; Shulman, Michael, Adjoint logic with a 2-category of modes, 219-235 [Zbl 06751241]
Lubarsky, Robert S., Parallel feedback Turing computability, 236-250 [Zbl 06751242]
Messick, Scott, Compactness in the theory of continuous automata, 251-266 [Zbl 06751243]
Michalewski, Henryk; Mio, Matteo, Measure quantifier in monadic second order logic, 267-282 [Zbl 06751244]
Nomura, Shoshin; Ono, Hiroakira; Sano, Katsuhiko, A cut-free labelled sequent calculus for dynamic epistemic logic, 283-298 [Zbl 06751245]
Petrakis, Iosif, The Urysohn extension theorem for Bishop spaces, 299-316 [Zbl 06751246]
Protopopescu, Tudor, An arithmetical interpretation of verification and intuitionistic knowledge, 317-330 [Zbl 06751247]
Ramanujam, R.; Thinniyam, R. S., Definability in first order theories of graph orderings, 331-348 [Zbl 06751248]
Ramanujam, R.; Sundararajan, Vaishnavi; Suresh, S. P., The complexity of disjunction in intuitionistic logic, 349-363 [Zbl 06751249]
Rybakov, Vladimir, Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility, 364-375 [Zbl 06751250]
Sorokin, Alexey, Ogden property for linear displacement context-free grammars, 376-391 [Zbl 06751251]
Statman, Rick, Levy labels and recursive types, 392-406 [Zbl 06751252]

MSC:
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70 Logic in computer science
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI