A Systematic Presentation of Quantified Modal Logics

DOI10.1093/jigpal/10.6.571zbMath1019.03015OpenAlexW2051730154MaRDI QIDQ4796510

Alan Smaill, Claudio Castellini

Publication date: 16 September 2003

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

Full work available at URL: https://semanticscholar.org/paper/57efe569de39ce5534ec431e952460197a1e900b

zbMATH Keywords

normalizationlabelled sequent calculiquantified normal modal logics

Mathematics Subject Classification ID

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

Related Items (2)

GEOMETRISATION OF FIRST-ORDER LOGIC ⋮ Proof analysis in modal logic

This page was built for publication: A Systematic Presentation of Quantified Modal Logics