Substructural epistemic logics

DOI10.1080/11663081.2015.1094313zbMATH Open1398.03074OpenAlexW2264070769MaRDI QIDQ4586145FDOQ4586145

Authors: Igor Sedlár 

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2015.1094313

Recommendations

• Epistemic extensions of modal distributive substructural logics
• Information, awareness and substructural logics
• scientific article; zbMATH DE number 5180952
• Dynamic logics of evidence-based beliefs
• A substructural epistemic resource logic: theory and modelling applications

zbMATH Keywords

evidenceepistemic logicsubstructural logicsknowledge representationlogical omniscience

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The logic of public announcements, common knowledge, and private suspicions
• Substructural logics: a primer
• Belief, awareness, and limited reasoning
• Logics for epistemic programs
• The problem of rational knowledge
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Logical dynamics of information and interaction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A nonstandard approach to the logical omniscience problem
• Explicit provability and constructive semantics
• The logic of proofs, semantically
• The logic of knowledge bases
• Title not available (Why is that?)
• The logic of justification
• Contradictory information: too much of a good thing
• Logical pluralism
• Title not available (Why is that?)
• Dynamic logics of evidence-based beliefs
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Evidence and plausibility in neighborhood structures
• Semantics for relevant logics
• Models for entailment
• On the ternary relation and conditionality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intensional logics and logical truth
• Dynamic Epistemic Logic as a Substructural Logic
• Title not available (Why is that?)
• Handbook of philosophical logic. Vol. 10
• Partiality and adjointness in modal logic
• Relevant agents
• A positive information logic for inferential information
• Limited reasoning in first-order knowledge bases
• Title not available (Why is that?)
• Classical intensional logics
• Information, awareness and substructural logics
• Epistemic closure and commutative, nonassociative residuated structures
• Epistemic logics for sceptical agents
• Epistemic extensions of modal distributive substructural logics
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Dynamic consequence for soft information
• Title not available (Why is that?)
• Epistemic logic with relevant agents
• A procedural interpretation of split negation

Cited In (25)

• Hyperintensionality in relevant logics
• Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems
• A substructural epistemic resource logic
• A substructural approach to explicit modal logic
• First-order relevant reasoners in classical worlds
• The fundamental problem of logical omniscience
• Situated epistemic updates
• Varieties of Relevant S5
• Special issue on substructural logic and information dynamics: introduction
• Epistemic logics for relevant reasoners
• Epistemic logics for sceptical agents
• The logic of hyperlogic. Part B: Extensions and restrictions
• Attainable knowledge and omniscience
• Epistemic extensions of modal distributive substructural logics
• Substructural logics for pooling information
• Subintuitionistic logics and the implications they prove
• Information, awareness and substructural logics
• Knowledge is a diamond
• Dynamic Epistemic Logic as a Substructural Logic
• Subintuitionistic logics
• Relevant epistemic logic with public announcements and common knowledge
• A substructural epistemic resource logic: theory and modelling applications
• Title not available (Why is that?)
• A hyperintensional logic of non-prime evidence
• SUBSTRUCTURAL INQUISITIVE LOGICS

This page was built for publication: Substructural epistemic logics

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