The following pages link to Marques Peron Newton (Q5082323):
Displayed 4 items.
- Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324) (← links)
- Modal Logic With Non-deterministic Semantics: Part I - Propositional Case (Q6305990) (← links)
- Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case (Q6357746) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6390135) (← links)