Pages that link to "Item:Q2904057"
From MaRDI portal
The following pages link to On modal logics of linear inequalities (Q2904057):
Displaying 7 items.
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Linear modalities in mininal logic (Q1866867) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- (Q4603449) (← links)
- Riesz Modal Logic with Threshold Operators (Q5145347) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)