Combinations and completeness transfer for quantified modal logics
From MaRDI portal
Publication:3119165
DOI10.1093/jigpal/jzp085zbMath1243.03040OpenAlexW2160035412MaRDI QIDQ3119165
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
quantified modal logicfusionambiguous languagecompleteness transferlogic combinationnon-rigid designatorsworldline semantics
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