scientific article; zbMATH DE number 3399180

zbMath0253.02005MaRDI QIDQ5666510

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (63)

Informational semantics, non-deterministic matrices and feasible deduction ⋮ A positive information logic for inferential information ⋮ The enduring scandal of deduction. Is propositional logic really uninformative? ⋮ Logical information and epistemic space ⋮ The content of deduction ⋮ Game Semantics and the Manifestation Thesis ⋮ Norm-based mechanism design ⋮ Games for hybrid logic. From semantic games to analytic calculi ⋮ Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ What languages have Tarski truth definitions? ⋮ Decidability of fluted logic with identity ⋮ The logic of empirical theories revisited ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Alternating (in)dependence-friendly logic ⋮ Courcelle's theorem -- a game-theoretic approach ⋮ Validity in choice logics. A game-theoretic investigation ⋮ An informational view of classical logic ⋮ Information, possible worlds and the cooptation of scepticism ⋮ Russell and Kant ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Hyperintensional semantics: a Fregean approach ⋮ Build your own clarithmetic I: Setup and completeness ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Verisimilitude and belief change for nomic conjunctive theories ⋮ Practical algorithms for MSO model-checking on tree-decomposable graphs ⋮ Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Information closure and the sceptical objection ⋮ Short Overview of the Development of Hintikka’s Work in Logic ⋮ From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism ⋮ On Semantic Games for Łukasiewicz Logic ⋮ Questions of Epistemic Logic in Hintikka ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Talking About Knowledge ⋮ Dialogues, Reasons and Endorsement ⋮ Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory ⋮ The Rényi-Ulam games and many-valued logics ⋮ E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora ⋮ Verisimilitude and belief change for conjunctive theories ⋮ Brouwer's constructivism ⋮ LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS ⋮ Urn models: A new kind of non-standard model for first-order logic ⋮ Morgan on deductive explanation: A rejoinder ⋮ Inducibility and epistemic systematization: Rejoinder to Kaufman ⋮ Randomized semantic games for fuzzy logics ⋮ Truthlikeness: Comments on recent discussion ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ An \(n\)-player semantic game for an \(n+1\)-valued logic ⋮ Dialogue games for many-valued logics -- an overview ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ On Semantic Gamification ⋮ Verisimilitude vs. legisimilitude ⋮ The Geometry of Negation ⋮ The Byzantine Liar ⋮ The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ Super models ⋮ Hintikka and the functions of logic ⋮ Urn models: A classical exposition ⋮ A computational approach to fuzzy quantifiers in natural languages ⋮ Strongly Semantic Information as Information About the Truth ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: