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 #51 to #100.

Machine Checking Proof Theory: An Application of Logic to Logic: Label: en
Decisions, Actions, and Games: A Logical Perspective: Label: en
Becoming Aware of Propositional Variables: Label: en
Reasoning about Protocol Change and Knowledge: Label: en
Logic in the Community: Label: en
Ultrafilter Extensions of Models: Label: en
First-Order Inquisitive Pair Logic: Label: en
A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic: Label: en
A Modal Logic for Multiple-Source Tolerance Approximation Spaces: Label: en
The Completion of the Emergence of Modern Logic from Boole’s The Mathematical Analysis of Logic to Frege’s Begriffsschrift: Label: en
A Qualitative Approach to Uncertainty: Label: en
Sensible Semantics of Imperfect Information: Label: en
Contextual Coalitional Games: Label: en
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity: Label: en
The Logic of Campaigning: Label: en
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility: Label: en
Infinite Games and Uniformization: Label: en
Four Corners—East and West: Label: en
Semantics Based on Conceptual Spaces: Label: en
Representing Imperfect Information of Procedures with Hyper Models: Label: en
Extending Carnap’s Continuum to Binary Relations: Label: en
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory: Label: en
Negative Existentials and Non-denoting Terms: Label: en
Nyāya’s Logical Model for Ascertaining Sound Arguments: Label: en
Büchi Automata Optimisations Formalised in Isabelle/HOL: Label: en
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief: Label: en
Tableaux for Non-normal Public Announcement Logic: Label: en
A Modal Logic for Non-deterministic Information Systems: Label: en
Neighborhood Contingency Logic: Label: en
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics: Label: en
Truths about Simpson’s Paradox: Saving the Paradox from Falsity: Label: en
Logic-Automata Connections for Transformations: Label: en
The Relevance of Relevance to Relevance Logic: Label: en
Homotopy Type Theory: Label: en
Subset Space Public Announcement Logic: Label: en
Subset Space Logic with Arbitrary Announcements: Label: en
Public Announcements for Non-omniscient Agents: Label: en
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System: Label: en
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal: Label: en
Noninterference for Intuitionist Necessity: Label: en
Logic of Non-monotonic Interactive Proofs: Label: en
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms: Label: en
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic: Label: en
Moving Up and Down in the Generic Multiverse: Label: en
Yablo Sequences in Truth Theories: Label: en
On Kripke’s Puzzle about Time and Thought: Label: en
Dynamic Epistemic Logic for Channel-Based Agent Communication: Label: en
Agent-Time Epistemics and Coordination: Label: en
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge: Label: en
Probabilistic IF Logic: Label: en