scientific article; zbMATH DE number 1852919

zbMATH Open1003.03517MaRDI QIDQ4789449FDOQ4789449

Authors: R. A. Bull, Krister Segerberg 

Publication date: 29 January 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited In (10)

• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Ideal Related Algebras and Their Logics Extended Abstract
• On the origin of logical determinism in Babylonia
• Tableaux for some modal-tense logics Graham Priest's fashion
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Title not available (Why is that?)
• Basic propositional logic and the weak excluded middle
• Title not available (Why is that?)
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• The iterative conception of set. A (bi-)modal axiomatisation

This page was built for publication:

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