Resolution for some first-order modal systems
From MaRDI portal
Publication:1178699
DOI10.1016/0304-3975(91)90181-ZzbMATH Open0739.68072MaRDI QIDQ1178699FDOQ1178699
Authors: Marta Cialdea Mayer 
Publication date: 26 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Cites Work
- Title not available (Why is that?)
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- MOLOG: A system that extends PROLOG with modal logic
- Synthesis of Communicating Processes from Temporal Logic Specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- DAL -- a logic for data analysis
- Modal resolution in clausal form
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formalization of Properties of Functional Programs
- Title not available (Why is that?)
- A simple deduction method for modal logic
- Title not available (Why is that?)
- A Modal Herbrand's Property
Cited In (11)
- First-order intensional logic
- Strategies for modal resolution: Results and problems
- A note on resolutions mod i
- Herbrand style proof procedures for modal logic
- The resolution method for one reducible class of formulas of the first-order modal logic S4.
- Title not available (Why is that?)
- First-order resolution methods for modal logics
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
- Resolution calculi for non-normal modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Resolution for some first-order modal systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1178699)
