Sequential reflexive logics with noncontingency operator

DOI10.1023/A:1021485712270MaRDI QIDQ1810258zbMATH OpenOpenAlexFDO

Authors Evgeni E. Zolin

Publication date 15 June 2003

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021485712270

zbMATH Keywords

cut eliminationprovabilityHilbert calculiCraig interpolation propertysubformula propertyanalytic cutnoncontingency logicssequential calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• A sequent calculus for a logic of contingencies
• Completeness and definability in the logic of noncontingency
• The logic of non-contingency
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Minimal non-contingency logic

Cited in

(8)

• Minimal non-contingency logic
• A logic for disjunctive ignorance
• Non-deterministic semantics for logics with a consistency operator
• Sequential operators in computability logic
• Completeness and definability in the logic of noncontingency
• Logic for describing strong belief-disagreement between agents
• Zolin and Pizzi: defining necessity from noncontingency
• A sequent calculus for a logic of contingencies

This page was built for publication: Sequential reflexive logics with noncontingency operator

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