The following pages link to (Q3952081):
Displaying 29 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Necessity and contingency (Q1116939) (← links)
- A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212) (← links)
- A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761) (← links)
- The logic of non-contingency (Q1903586) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Replacement in logic (Q1947034) (← links)
- Bimodal logic with contingency and accident: bisimulation and axiomatizations (Q2044999) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Variation on a trivialist argument of Paul Kabay (Q2429989) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- CLASSICALLY ARCHETYPAL RULES (Q4577996) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- Consequence relations and data science: from Galois mappings to data interpretation (Q6577633) (← links)
- Rule-elimination theorems (Q6633055) (← links)
- Quineanism, noneism and metaphysical equivalence (Q6636377) (← links)
