Sequential reflexive logics with noncontingency operator

DOI10.1023/A:1021485712270zbMATH Open1027.03016OpenAlexW106772436MaRDI QIDQ1810258FDOQ1810258

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

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

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)

Cited In (8)

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

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)