The following pages link to (Q4474851):
Displayed 8 items.
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Almost duplication-free tableau calculi for prepositional lax logics (Q4645225) (← links)
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (Q4645242) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)