CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167): Difference between revisions

From MaRDI portal
Changed an Item
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4648827 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4599502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong belief and forward induction reasoning. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic interactive epistemology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some remarks on the model theory of epistemic plausibility models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof analysis in intermediate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4200041 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two modellings for theory change / rank
 
Normal rank
Property / cites work
 
Property / cites work: A guide to completeness and complexity for modal logics of knowledge and belief / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2768759 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof analysis in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5224887 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744125 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Neighborhood semantics for modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief revision in games: Forward and backward induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic epistemic logic / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1017/s1755020318000023 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2802365993 / rank
 
Normal rank

Latest revision as of 08:29, 30 July 2024

scientific article; zbMATH DE number 6986406
Language Label Description Also known as
English
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
scientific article; zbMATH DE number 6986406

    Statements

    CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 November 2018
    0 references
    conditional doxastic logic
    0 references
    epistemic logic
    0 references
    neighbourhood semantics
    0 references
    plausibility semantics
    0 references
    Alexandroff correspondence
    0 references
    labelled sequent calculus
    0 references
    structural proof theory
    0 references
    completeness
    0 references
    decidability
    0 references
    canonical models
    0 references

    Identifiers