Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Why does Halldén‐completeness matter?

From MaRDI portal
Publication:4869967
Jump to:navigation, search

DOI10.1111/J.1755-2567.1993.TB00870.XzbMATH Open0846.03005OpenAlexW2071012049MaRDI QIDQ4869967FDOQ4869967


Authors: George F. Schumm Edit this on Wikidata


Publication date: 17 March 1996

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1993.tb00870.x




Recommendations

  • scientific article; zbMATH DE number 2149468
  • scientific article; zbMATH DE number 496041
  • Halldén completeness for relevant modal logics
  • On variable separation in modal and superintuitionistic logics


zbMATH Keywords

interpolationdisjunction propertynormal modal logicHalldén-completeness


Mathematics Subject Classification ID

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



Cited In (5)

  • Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
  • Title not available (Why is that?)
  • On variable separation in modal and superintuitionistic logics
  • Title not available (Why is that?)
  • Halldén completeness for relevant modal logics





This page was built for publication: Why does Halldén‐completeness matter?

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4869967&oldid=19230278"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 04:25. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki