Pages that link to "Item:Q4095908"
From MaRDI portal
The following pages link to Methods for Automated Theorem Proving in Nonclassical Logics (Q4095908):
Displaying 10 items.
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- Identity in modal logic theorem proving (Q687161) (← links)
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- The recursive resolution method for modal logic (Q1104915) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
