Pages that link to "Item:Q1708100"
From MaRDI portal
The following pages link to Proof theory for functional modal logic (Q1708100):
Displaying 8 items.
- On the proof-theory of two formalisations of modal first-order logic (Q622627) (← links)
- A modal logic internalizing normal proofs (Q764264) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- Modal logics with functional alternative relations (Q1094406) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Guest editors' introduction (Q5920212) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)