Implicit and explicit stances in logic

DOI10.1007/S10992-018-9485-YMaRDI QIDQ2000675zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 28 June 2019

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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

Cites work

• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 4135922 (Why is no real title available?)
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 1329018 (Why is no real title available?)
• scientific article; zbMATH DE number 6863640 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• A bimodal perspective on possibility semantics
• A polynomial translation of S4 into intuitionistic logic
• A qualitative theory of dynamic interactive belief revision
• A semantic hierarchy for intuitionistic logic
• Changing a Semantics: Opportunism or Courage?
• Circumscription - a form of non-monotonic reasoning
• Constructivism in mathematics. An introduction. Volume II
• Counterfactuals.
• Defaults in update semantics
• Dynamic interpretation and Hoare deduction
• Dynamic predicate logic
• General dynamic dynamic logic
• Handbook of epistemic logic
• INTUITIONISTIC EPISTEMIC LOGIC
• Inquisitive dynamic epistemic logic
• Logic in games
• Logical dynamics of information and interaction
• Logical pluralism
• Logics of questions
• Model-theoretic characterization of intuitionistic propositional formulas
• Modeling correlated information change: from conditional beliefs to quantum conditionals
• Models for stronger normal intuitionistic modal logics
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• Quantum logic as a dynamic logic
• Quick completeness proofs for some logics of conditionals
• Residuated frames with applications to decidability
• The undecidability of iterated modal relativization
• Toward a dynamic logic of questions

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)