Combinations and completeness transfer for quantified modal logics

DOI10.1093/jigpal/jzp085zbMath1243.03040OpenAlexW2160035412MaRDI QIDQ3119165

Gerhard Schurz

Publication date: 7 March 2012

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

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

zbMATH Keywords

quantified modal logicfusionambiguous languagecompleteness transferlogic combinationnon-rigid designatorsworldline semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Birkhoff style calculi for hybrid logics ⋮ An NP-complete fragment of fibring logic ⋮ Encoding hybridized institutions into first-order logic