A \(\varPi _1^0\) -Bounded Fragment of Infinitary Action Logic with Exponential
Infinitary action logic is an extension of the multiplicative-additive Lambek calculus with Kleene iteration, axiomatized by an \(\omega \) -rule. Buszkowski and Palka (2007) show that this logic is \(\varPi _1^0\) -complete. As shown recently by Kuznetso
- PDF / 7,501,886 Bytes
- 208 Pages / 439.37 x 666.142 pts Page_size
- 117 Downloads / 170 Views
Vivek Nigam · Tajana Ban Kirigin · Carolyn Talcott · Joshua Guttman · Stepan Kuznetsov · Boon Thau Loo · Mitsuhiro Okada (Eds.)
Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Lecture Notes in Computer Science Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA
Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA
12300
More information about this series at http://www.springer.com/series/7407
Vivek Nigam Tajana Ban Kirigin Carolyn Talcott Joshua Guttman Stepan Kuznetsov Boon Thau Loo Mitsuhiro Okada (Eds.) •
•
•
•
•
•
Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
123
Editors Vivek Nigam fortiss GmbH Munich, Germany
Tajana Ban Kirigin University of Rijeka Rijeka, Croatia
Carolyn Talcott SRI International Menlo Park, CA, USA
Joshua Guttman Worcester Polytechnic Institute Worcester, MA, USA
Stepan Kuznetsov Steklov Mathematical Institute of the Russian Academy of Sciences Moscow, Russia
Boon Thau Loo University of Pennsylvania Philadelphia, PA, USA
Mitsuhiro Okada Keio University Tokyo, Japan
ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-030-62076-9 ISBN 978-3-030-62077-6 (eBook) https://doi.org/10.1007/978-3-030-62077-6 LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues © Springer Nature Switzerland AG 2020 Chapter “A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems” is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/). For further details see license information in the chapter. This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with
Data Loading...
