Implicit and explicit stances in logic
type: Item
instance of: scholarly article
title: Implicit and explicit stances in logic
zbMATH Open document ID: 1457.03035
author: Johan van Benthem
published in: Journal of Philosophical Logic
publication date: 2019-06-28T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7075019
zbMATH Keywords: logic
zbMATH Keywords: modality
zbMATH Keywords: implicit
zbMATH Keywords: explicit
zbMATH Keywords: vocabulary
zbMATH Keywords: translation
MaRDI profile type: Publication
full work available at URL: s10992-018-9485-y
OpenAlex ID: W2900584521
cites work: Changing a Semantics: Opportunism or Courage?
cites work: INTUITIONISTIC EPISTEMIC LOGIC
cites work: Q4636028
cites work: Q4648827
cites work: Quantum logic as a dynamic logic
cites work: Modeling correlated information change: from conditional beliefs to quantum conditionals
cites work: Q4951952
cites work: Logical Pluralism
cites work: Q3469091
cites work: Q4218019
cites work: Logical Dynamics of Information and Interaction
cites work: Q5404483
cites work: A bimodal perspective on possibility semantics
cites work: Toward a dynamic logic of questions
cites work: A semantic hierarchy for intuitionistic logic
cites work: Quick completeness proofs for some logics of conditionals
cites work: Q4578043
cites work: Models for stronger normal intuitionistic modal logics
cites work: Dynamic interpretation and Hoare deduction
cites work: A polynomial translation of S4 into intuitionistic logic
cites work: Residuated frames with applications to decidability
cites work: Q5419882
cites work: Dynamic predicate logic
cites work: Logics of questions
cites work: Q3281052
cites work: Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
cites work: Counterfactuals.
cites work: Circumscription - a form of non-monotonic reasoning
cites work: The undecidability of iterated modal relativization
cites work: MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
cites work: Q4257375
cites work: Inquisitive dynamic epistemic logic
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Defaults in update semantics
DOI: 10.1007/S10992-018-9485-Y
Recommended article: Q5215772
Recommended article: Implicit epistemic aspects of constructive logic
Recommended article: Implicational Logic, Relevance, and Refutability
Recommended article: Q4811786
Recommended article: Q3620030
Recommended article: Logical expressivism, logical theory and the critique of inferences
Recommended article: The implicational nature of logic: A structuralist account
Recommended article: Q4925850
Recommended article: The Logic in Logicism
description: scientific article; zbMATH DE number 7075019