The Monotonous Elimination of Predicate Variables

DOI10.1093/logcom/4.1.23zbMath0797.03029OpenAlexW2008621787MaRDI QIDQ4286215

Harold Simmons

Publication date: 27 March 1994

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

Full work available at URL: https://semanticscholar.org/paper/57255451c6cec3a21c52d7b1ebe1d30cb8553a69

zbMATH Keywords

algorithmmodal logicnormal formuniversally quantified predicate variables

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

Towards automating duality ⋮ The Ackermann approach for modal logic, correspondence theory and second-order reduction ⋮ Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals

This page was built for publication: The Monotonous Elimination of Predicate Variables