The following pages link to Nominal tense logic (Q689193):
Displaying 19 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Prior's paradigm for the study of time and its methodological motivation (Q516393) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Hybrid languages (Q1909610) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- A hybridization of irreflexive modal logics (Q2867951) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Tenses in Real Time (Q3686699) (← links)
- Display Calculi for Nominal Tense Logics (Q4796460) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
- Hybrid modal operators for definite descriptions (Q6545576) (← links)
