Pages that link to "Item:Q1810258"
From MaRDI portal
The following pages link to Sequential reflexive logics with noncontingency operator (Q1810258):
Displaying 9 items.
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Sequential operators in computability logic (Q999265) (← links)
- Completeness and definability in the logic of noncontingency (Q1347608) (← links)
- Logic for describing strong belief-disagreement between agents (Q1708099) (← links)
- Minimal non-contingency logic (Q1903587) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- A sequent calculus for a logic of contingencies (Q2446684) (← links)
- A Sequent Calculus for the Lesniewskian Modal Logic (Q4306544) (← links)