The following pages link to (Q3952081):
Displaying 20 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)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
