Sahlqvist Formulas in Hybrid Polyadic Modal Logics
From MaRDI portal
Publication:2772884
DOI10.1093/logcom/11.5.737zbMath0993.03013MaRDI QIDQ2772884
Dimiter Vakarelov, Valentin F. Goranko
Publication date: 19 February 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/11.5.737
first-order definability; nominals; universal modality; Sahlqvist formulas; hybrid polyadic modal logics
03B45: Modal logic (including the logic of norms)
Related Items