The following pages link to (Q4282526):
Displaying 9 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Unsorted functional translations (Q2825403) (← links)
- Semantics-Based Translation Methods for Modal Logics (Q3983938) (← links)
- On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209) (← links)
- Translation Methods for Non-Classical Logics: An Overview (Q4291871) (← links)
- Functional translation and second-order frame properties of modal logics (Q4365320) (← links)
- Translation-Based Revision and Merging for Minimal Horn Reasoning. (Q4576205) (← links)
- The axiomatic translation principle for modal logic (Q5277784) (← links)
- Automated Deduction – CADE-19 (Q5900730) (← links)