Pages that link to "Item:Q4381865"
From MaRDI portal
The following pages link to Labelled propositional modal logics: theory and practice (Q4381865):
Displaying 21 items.
- Labelled modal logics: Quantifiers (Q1289100) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- Data storage interpretation of labeled modal logic (Q1919761) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Labelled deduction for the guarded fragment (Q2701985) (← links)
- SEMANTIC POLLUTION AND SYNTACTIC PURITY (Q3459083) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q4281253) (← links)
- (Q4324477) (← links)
- LWBtheory: Information about some propositional logics via the WWW (Q4340933) (← links)
- Relations between propositional normal modal logics: an overview (Q4365323) (← links)
- Internalizing labelled deduction (Q4952029) (← links)
- (Q5013887) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
