Extended disjunction and existence properties for some predicate modal logics

DOI10.1093/JIGPAL/6.5.775zbMath0957.03031OpenAlexW2095570248MaRDI QIDQ4221774

A. Ju. Pljuskevicene

Publication date: 22 March 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/6.5.775

zbMATH Keywords

modal logicsequent calculusprovability logicexistence propertiesdisjunction propertiesHarrop formulaBarcan axiomcut-free calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Extended disjunction and existence properties for some predicate modal logics