The following pages link to (Q5666510):
Displaying 50 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Norm-based mechanism design (Q322076) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Information closure and the sceptical objection (Q484948) (← links)
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora (Q513921) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Information, possible worlds and the cooptation of scepticism (Q625697) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Verisimilitude vs. legisimilitude (Q762133) (← links)
- Urn models: A classical exposition (Q791516) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- Logical information and epistemic space (Q833035) (← links)
- An informational view of classical logic (Q897935) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- A computational approach to fuzzy quantifiers in natural languages (Q1053665) (← links)
- Russell and Kant (Q1148887) (← links)
- Brouwer's constructivism (Q1220903) (← links)
- Urn models: A new kind of non-standard model for first-order logic (Q1224581) (← links)
- Morgan on deductive explanation: A rejoinder (Q1232397) (← links)
- Inducibility and epistemic systematization: Rejoinder to Kaufman (Q1237781) (← links)
- Truthlikeness: Comments on recent discussion (Q1250096) (← links)
- Verisimilitude and belief change for conjunctive theories (Q1758548) (← links)
- Decidability of fluted logic with identity (Q1924331) (← links)
- Randomized semantic games for fuzzy logics (Q2035339) (← links)
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable (Q2070424) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Super models (Q2334649) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- The content of deduction (Q2377192) (← links)
- The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)
- Verisimilitude and belief change for nomic conjunctive theories (Q2443343) (← links)
- Hyperintensional semantics: a Fregean approach (Q2690197) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory (Q3010429) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Short Overview of the Development of Hintikka’s Work in Logic (Q3299569) (← links)
- From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism (Q3299571) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- Questions of Epistemic Logic in Hintikka (Q3299586) (← links)
