Entity usage
From MaRDI portal
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.
- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory: Label: en
- Model Checking for Modal Intuitionistic Dependence Logic: Label: en
- The Duality of State and Observation in Probabilistic Transition Systems: Label: en
- Interpreted Systems Semantics for Process Algebra with Identity Annotations: Label: en
- Decidability for Justification Logics Revisited: Label: en
- Dynamics of Defeasible and Tentative Inference: Label: en
- An Outline of a Dynamic Theory of Frames: Label: en
- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification: Label: en
- Towards a Logic of Information Exchange: Label: en
- Łukasiewicz Logic: An Introduction: Label: en
- Inquisitive Semantics: Two Possibilities for Disjunction: Label: en
- The Structure of Rigid Frames of Depth 3 Only: Label: en
- Dutch Grammar and Processing: A Case Study in TLG: Label: en
- Terminal Sequence Induction via Games: Label: en
- Semantic Characterizations of German Question-Embedding Predicates: Label: en
- The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable: Label: en
- Identification through Inductive Verification: Label: en
- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach: Label: en
- Exceptional Scope as Discourse Reference to Quantificational Dependencies: Label: en
- Quantifiers in Japanese: Label: en
- The Computational Complexity of Quantified Reciprocals: Label: en
- Expressing Belief Flow in Assertion Networks: Label: en
- Implicatures of Irrelevant Answers and the Principle of Optimal Completion: Label: en
- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic: Label: en
- Natural Logic for Natural Language: Label: en
- A Whether Forecast: Label: en
- Case Attraction in Ancient Greek: Label: en
- The Problem of Learning the Semantics of Quantifiers: Label: en
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points: Label: en
- Argument Dependencies in Tukang Besi: Label: en
- Productivity, Polysemy, and Predicate Indexicality: Label: en
- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras: Label: en
- Focus and ‘Only’ in Hungarian: Label: en
- Expressing Ignorance or Indifference: Label: en
- Alternative Semantics for Visser’s Propositional Logics: Label: en
- Frame Theory, Dependence Logic and Strategies: Label: en
- Unless and Until: A Compositional Analysis: Label: en
- Positive Formulas in Intuitionistic and Minimal Logic: Label: en
- Kripke Models Built from Models of Arithmetic: Label: en
- Towards a Suppositional Inquisitive Semantics: Label: en
- Cut-Elimination and Proof Schemata: Label: en
- Duality and Universal Models for the Meet-Implication Fragment of IPC: Label: en
- Admissibility and Unifiability in Contact Logics: Label: en
- Deontic Conflicts and Multiple Violations: Label: en
- Tutorial on Admissible Rules in Gudauri: Label: en
- A View of Canonical Extension: Label: en
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models: Label: en
- A Modal Transcription of the Hausdorff Residue: Label: en
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi: Label: en
- Spectral and T 0-Spaces in d-Semantics: Label: en