Modal deduction in second-order logic and set theory. II

DOI10.1023/A:1005037512998zbMath0953.03022OpenAlexW1535888907MaRDI QIDQ1577355

Giovanna D'Agostino, Alberto Policriti, Angelo Montanari, J. F. A. K. van Benthem

Publication date: 21 November 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005037512998

zbMATH Keywords

weak monadic second-order logicextended modal logicsset-theoretic translation method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Set theory (03E99)

Related Items (2)

Three-variable statements of set-pairing ⋮ Linear ordering on graphs, anti-founded sets and polynomial time computability

This page was built for publication: Modal deduction in second-order logic and set theory. II