Modal Logics Between Propositional and First-order

DOI10.1093/logcom/12.6.1017zbMath1017.03008OpenAlexW2094195776MaRDI QIDQ4796461

Melvin Fitting

Publication date: 18 June 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/12.6.1017

zbMATH Keywords

modal logicpropositional logicdecidabilityabstractionnon-rigidity

Mathematics Subject Classification ID

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

Related Items

FOIL axiomatized ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ First-order intensional logic ⋮ On Height and Happiness ⋮ LTL over integer periodicity constraints ⋮ On Freeze LTL with Ordered Attributes ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Linear-time temporal logics with Presburger constraints: an overview ★