The following pages link to (Q4247207):
Displaying 4 items.
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- (Q4263012) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)