Rosser Orderings in Bimodal Logics

DOI10.1002/MALQ.19890350407zbMath0688.03010OpenAlexW1974102216WikidataQ57253081 ScholiaQ57253081MaRDI QIDQ4206710

Franco Montagna, Alessandra Carbone

Publication date: 1989

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

provability logicsaxiomatizationsRosser orderingsPrimitive Recursive Arithmeticbimodal logicspairs of theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

Obituary: Franco Montagna (1948--2015) ⋮ Unnamed Item

This page was built for publication: Rosser Orderings in Bimodal Logics