Implicit and explicit stances in logic

DOI10.1007/S10992-018-9485-YzbMATH Open1457.03035OpenAlexW2900584521MaRDI QIDQ2000675FDOQ2000675

Johan 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

Recommendations

• Logic of implicit and explicit justifiers
• Implicit epistemic aspects of constructive logic
• Implicational Logic, Relevance, and Refutability
• scientific article; zbMATH DE number 2097005
• Implicit versus explicit knowledge in dialogical logic
• Logical expressivism, logical theory and the critique of inferences
• The implicational nature of logic: A structuralist account
• Abstract logic of oppositions
• The Logic in Logicism

zbMATH Keywords

implicitlogicmodalitytranslationexplicitvocabulary

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000675)