A Modal Extension of Weak Generalisation Predicate Logic

DOI10.1093/jigpal/jzl025zbMath1120.03015OpenAlexW2001037801MaRDI QIDQ3433107

Francisco Kibedi, George Tourlakis

Publication date: 19 April 2007

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

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

zbMATH Keywords

semanticsKripke modelsprovabilityclassical first-order logicfirst-order modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Related Items

An Arithmetically Complete Predicate Modal Logic ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs