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

The inadequacy of the neighbourhood semantics for modal logic

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

DOI10.2307/2271893zbMATH Open0312.02019OpenAlexW1966469983MaRDI QIDQ4071209FDOQ4071209


Authors: Martin Sebastian Gerson Edit this on Wikidata


Publication date: 1975

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271893





Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)


Cites Work

  • Title not available (Why is that?)
  • Some theorems about the sentential calculi of Lewis and Heyting


Cited In (8)

  • Possible worlds semantics: a research program that cannot fail?
  • Canonicity for intensional logics without iterative axioms
  • An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
  • A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
  • Variants of multi-relational semantics for propositional non-normal modal logics
  • First-order classical modal logic
  • Mathematical modal logic: A view of its evolution
  • Basic conditional logic





This page was built for publication: The inadequacy of the neighbourhood semantics for modal logic

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

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