Pages that link to "Item:Q3936716"
From MaRDI portal
The following pages link to Modal semantics without possible worlds (Q3936716):
Displayed 11 items.
- Propositional logic of supposition and assertion (Q1130230) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Finite non-deterministic semantics for some modal systems (Q4586135) (← links)
- Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ (Q4586170) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)