The following pages link to Journal of Philosophical Logic (Q169434):
Displaying 50 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- The logics of strict-tolerant logic (Q253131) (← links)
- Getting the most out of inconsistency (Q253133) (← links)
- Term models for abstraction principles (Q263082) (← links)
- The intrinsic quantum nature of Nash equilibrium mixtures (Q263084) (← links)
- Naive modus ponens and failure of transitivity (Q263086) (← links)
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- A note on typed truth and consistency assertions (Q263089) (← links)
- Logics of informational interactions (Q266639) (← links)
- Current trends in substructural logics (Q266641) (← links)
- Foundations of probability (Q266643) (← links)
- Formal epistemology (Q266647) (← links)
- Vagueness: Why do we believe in tolerance? (Q266648) (← links)
- One hundred years of semantic paradox (Q266649) (← links)
- On rules (Q266650) (← links)
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- Time and determinism (Q266653) (← links)
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- The logic of group decisions: judgment aggregation (Q266657) (← links)
- Paraconsistent logic (Q266659) (← links)
- Conditionals and propositions in semantics (Q266661) (← links)
- The justification of the basic laws of logic (Q266663) (← links)
- Conditionals from a linguistic point of view: two case studies (Q266665) (← links)
- You've come a long way, Bayesians (Q266667) (← links)
- An update on epistemic modals (Q266669) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- The application of constraint semantics to the language of subjective uncertainty (Q288241) (← links)
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Angellic content (Q288248) (← links)
- The mereological foundation of megethology (Q288250) (← links)
- Paths to triviality (Q300832) (← links)
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Well founding grounding grounding (Q312493) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- A generalization of inquisitive semantics (Q312497) (← links)
- Iterated descriptor revision and the logic of Ramsey test conditionals (Q312498) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
- Symmetry, compact closure and dagger compactness for categories of convex operational models (Q358688) (← links)
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- Search for quantum reality (Q358694) (← links)
- The Toffoli-Hadamard gate system: an algebraic approach (Q358697) (← links)
