Much shorter proofs: A bimodal investigation

DOI10.1002/malq.19900360107zbMath0697.03033OpenAlexW2058748429WikidataQ57253080 ScholiaQ57253080MaRDI QIDQ3474647

Franco Montagna, Alessandra Carbone

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360107

zbMATH Keywords

provabilityprovable fixed pointspairs of modal formulaspairs of theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20)

Related Items

Obituary: Franco Montagna (1948--2015) ⋮ Bounded arithmetic, proof complexity and two papers of Parikh