Modal Foundations for Predicate Logic

DOI10.1093/jigpal/5.2.259zbMath0949.03517OpenAlexW2169433313MaRDI QIDQ3126406

J. F. A. K. van Benthem

Publication date: 2 June 1997

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

Full work available at URL: https://semanticscholar.org/paper/4280ddecb4c94aee284792358fe3c19d372aac63

zbMATH Keywords

undecidabilitymodal logicsemanticspredicate logicmodalitiesmodal operatorspolyadic quantifiersfirst-order quantifiersdecidable sublogicsquantifications

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items (7)

RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Explicating logical independence ⋮ The lambda-context calculus (extended version) ⋮ On Dependence Logic ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS

This page was built for publication: Modal Foundations for Predicate Logic