Modal deduction in second-order logic and set theory - I

DOI10.1093/logcom/7.2.251zbMath0873.03021OpenAlexW2124145632MaRDI QIDQ4340421

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

Publication date: 10 June 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/7.2.251

zbMATH Keywords

modal logicsecond-order logicgeneral framesmodal deductionfirst-order translationsset-theoretic translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Simulating polyadic modal logics by monadic ones ⋮ Three-variable statements of set-pairing ⋮ Modal frame correspondences and fixed-points

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