Contribution of Warsaw logicians to computational logic

DOI10.3390/AXIOMS5020016MaRDI QIDQ2422533zbMATH OpenOpenAlexFDO

Authors Damian Niwiński

Publication date 19 June 2019

Published in Axioms (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3390/axioms5020016

zbMATH Keywords

\(\lambda\)-calculusdynamic logic\(\mu\)-calculusalgorithmic logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 3983134
• scientific article; zbMATH DE number 975288
• Mathematical logic in Warsaw in the 60's and 70's, or the interaction of logic and life
• Mathematical logic in Warsaw: 1918--1939
• The Lvov-Warsaw school. Past and present

Cites work

• scientific article; zbMATH DE number 5295807 (Why is no real title available?)
• scientific article; zbMATH DE number 5295814 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 3532507 (Why is no real title available?)
• scientific article; zbMATH DE number 3561326 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 6829362 (Why is no real title available?)
• scientific article; zbMATH DE number 2087432 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• scientific article; zbMATH DE number 3351505 (Why is no real title available?)
• scientific article; zbMATH DE number 3183995 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3031479 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• Algorithmic properties of structures
• Collapsing modular counting in bounded arithmetic and constant depth propositional proofs
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Computer Science Logic
• Decidability of Second-Order Theories and Automata on Infinite Trees
• LOGLAN '88. Report on the programming language
• Lectures on the Curry-Howard isomorphism
• Monadic second-order logic on tree-like structures
• Nicht konstruktiv beweisbare Sätze der Analysis
• On the decidability of MSO+U on infinite trees
• Rough sets
• Some relationships between logics of programs and complexity theory
• Tarski's influence on computer science
• The undecidability of the semi-unification problem
• Towards nominal computation
• Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
• Weak \(\text{MSO}+U\) over infinite trees

Cited in

(3)

• Helena Rasiowa (1917-1994) Life and Personality
• From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing
• Warsaw discs and semicomputability

Describes a project that uses

Uses Software

• LOGLAN

This page was built for publication: Contribution of Warsaw logicians to computational logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422533)