Functional translation and second-order frame properties of modal logics

DOI10.1093/logcom/7.5.581zbMath0976.03019OpenAlexW2162361330MaRDI QIDQ4365320

Renate A. Schmidt, Hans Jürgen Ohlbach

Publication date: 25 November 2001

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

Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0014-A1C9-C

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Related Items (13)

Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Simulation and Synthesis of Deduction Calculi ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Counterpart theories for everyone ⋮ First-Order Resolution Methods for Modal Logics ⋮ Connection calculus theorem proving with multiple built-in theories ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Solving the \$100 modal logic challenge ⋮ An empirical analysis of modal theorem provers ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Unsorted Functional Translations ⋮ Unnamed Item ⋮ Modal Satisfiability via SMT Solving

This page was built for publication: Functional translation and second-order frame properties of modal logics