Substructural epistemic logics

DOI10.1080/11663081.2015.1094313MaRDI QIDQ4586145zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

epistemic logicevidenceknowledge representationlogical omnisciencesubstructural logics

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)

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

Cites work

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

Cited in

(28)

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

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)