Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Logical form, conditionals, pseudo-conditionals: Label: en
Some remarks on the logic of probabilistic relevance: Label: en
A monadic second-order version of Tarski's geometry of solids: Label: en
KD45 with propositional quantifiers: Label: en
Procedural semantics and its relevance to paradox: Label: en
Zeno of Sidon \textit{vindicatus}: a mereological analysis of the bisection of the circle: Label: en
On some meta-theoretic topological features of the region connection calculus: Label: en
Measures in Euclidean point-free geometry (an exploratory paper): Label: en
A unified logical framework for reasoning about deontic properties of actions and states: Label: en
Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM: Label: en
An expressivist strategy to understand logical forms: Label: en
Logical constants and arithmetical forms: Label: en
On the logical form of evidential conditionals: Label: en
Logical forms, substitutions and information types: Label: en
Logic as applied mathematics -- with particular application to the notion of logical form: Label: en
Establishing logical forms. What is assigned to what, how and why: Label: en
Copredication, Davidson and logical form: Label: en
Hegel and the logical form: Label: en
Logical constants and the sorites paradox: Label: en
Logical forms: validity and variety of formalizations: Label: en
Catch me if you can -- Wittgenstein on the ineffability of logical form: Label: en
Foreword to the special issue: Label: en
Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4: Label: en
Beyond mixed logics: Label: en
Many-valued logics and bivalent modalities: Label: en
A four-valued logical framework for reasoning about fiction: Label: en
Game semantics, quantifiers and logical omniscience: Label: en
Local applications of logics via model-theoretic interpretations: Label: en
An introduction to the special issue: logics and their interpretations. II: Label: en
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability: Label: en
Analysis of Penrose's second argument formalised in DTK system: Label: en
Topology of modal propositions depicted by Peirce's gamma graphs: line, square, cube, and four-dimensional polyhedron: Label: en
S5-style non-standard modalities in a hypersequent framework: Label: en
Logics for knowability: Label: en
Dynamic probabilistic entailment. Improving on Adams' dynamic entailment relation: Label: en
Intensional semantics for syllogistics: what Leibniz and Vasiliev have in common: Label: en
On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth: Label: en
The liar paradox: between evidence and truth: Label: en
A logic for a critical attitude?: Label: en
Metainferential paraconsistency: Label: en
Logical pluralism and interpretations of logical systems: Label: en
Logica dominans vs. logica serviens: Label: en
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic: Label: en
Revisiting the Conditional Construal of Conditional Probability: Label: en
Immune Logics ain't that Immune: Label: en
From the Meinongian Point of View: Label: en
The Dismissal of ‘Substance’ and ‘Being’ in Peirce’s Regenerated Logic: Label: en
From Inconsistency to Incompatibility: Label: en
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC: Label: en
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3: Label: en