Pages that link to "Item:Q4295247"
From MaRDI portal
The following pages link to QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS (Q4295247):
Displaying 13 items.
- Associative substitutional semantics and quantified modal logic (Q965898) (← links)
- First order extensions of classical systems of modal logic. The role of the Barcan schemas (Q1611252) (← links)
- Partial semantics for quantified modal logic (Q1633238) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Investigations into quantified modal logic (Q1882400) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- Quantified modal logic (Q2851832) (← links)
- NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS (Q3395331) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- (Q3509055) (← links)
- QMML: Quantified Minimal Modal Logic and Its Applications (Q4812255) (← links)
- (Q4903799) (← links)