Implicit and explicit stances in logic

DOI10.1007/S10992-018-9485-YzbMath1457.03035OpenAlexW2900584521MaRDI QIDQ2000675

J. F. A. K. van Benthem

Publication date: 28 June 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-018-9485-y

zbMATH Keywords

modalitytranslationlogicimplicitexplicitvocabulary

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Inquisitive logic as an epistemic logic of knowing how ⋮ Tense logics over lattices ⋮ Modal information logics: axiomatizations and decidability ⋮ Natural language and logic of agency ⋮ Compositionality in context

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of questions
• Inquisitive dynamic epistemic logic
• Quantum logic as a dynamic logic
• Toward a dynamic logic of questions
• Quick completeness proofs for some logics of conditionals
• Models for stronger normal intuitionistic modal logics
• Circumscription - a form of non-monotonic reasoning
• Constructivism in mathematics. An introduction. Volume II
• Dynamic interpretation and Hoare deduction
• Modeling correlated information change: from conditional beliefs to quantum conditionals
• A semantic hierarchy for intuitionistic logic
• Defaults in update semantics
• The undecidability of iterated modal relativization
• Logical Dynamics of Information and Interaction
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• A bimodal perspective on possibility semantics
• A polynomial translation of S4 into intuitionistic logic
• Changing a Semantics: Opportunism or Courage?
• Logical Pluralism
• Residuated frames with applications to decidability
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• Dynamic predicate logic
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: Implicit and explicit stances in logic