Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings /: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. (2020)

• Record Type: Book
• Other Titles: LFCS 2020
• Further Information: Note: Sergei Artemov, Anil Nerode (eds.).
• Editors: Artemov, S. N; Nerode, Anil, 1932-
• Other Names: LFCS (Symposium)
• Contents: Computability of Algebraic and Definable Closure.- Observable Models.- Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics.- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory.- On the Constructive Truth and Falsity in Peano Arithmetic.- Belief Expansion in Subset Models.- Finitism, Concrete Programs and Primitive Recursion.- Knowledge of Uncertain Worlds: Programming with Logical Constraints.- A Globally Sound Analytic Calculus for Henkin Quantifiers.- Feedback Hyperjump.- Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.- On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.- Parameterised Complexity of Abduction in Schaefer's Framework.- Tracking Computability of GPAC-Generable Functions.- Modal Type Theory Based on the Intuitionistic Modal Logic ''''!.- Lifting Recursive Counterexamples to Higher-Order Arithmetic.- On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem under Semantic Tableaux Deduction.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2020
• Extent: 1 online resource (x, 287 pages), illustrations
• Subjects: 004; Computer science -- Congresses; Computer logic -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030367558
• Related ISBNs: 303036755X; 9783030367541
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 6, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.