scientific article; zbMATH DE number 1852919

MaRDI QIDQ4789449zbMATH OpenFDO

Authors R. A. Bull, Krister Segerberg

Publication date 29 January 2003

Mathematics Subject Classification ID

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

Cited in

(10)

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

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)