Pages that link to "Item:Q1252850"
From MaRDI portal
The following pages link to Model theory for modal logic. Kripke models for modal predicate calculi (Q1252850):
Displaying 9 items.
- Intuitionistic typical ambiguity (Q757362) (← links)
- Modal logic and model theory (Q1080411) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- A Category-Theoretic Approach to Social Network Analysis (Q2841255) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- Constants in Kripke Models for Intuitionistic Logic (Q4857856) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
