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

scientific article; zbMATH DE number 440488

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

zbMATH Open0799.03068MaRDI QIDQ3140645FDOQ3140645


Authors: Rineke Verbrugge Edit this on Wikidata


Publication date: 28 November 1993



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



Recommendations

  • scientific article; zbMATH DE number 806756
  • scientific article; zbMATH DE number 1215477
  • The formalization of interpretability
  • Interpolation and the interpretability logic of PA
  • The principles of interpretability


zbMATH Keywords

bimodal interpretability logic ILMfeasible interpretabilitypolynomial version of Orey's theorem


Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)



Cited In (5)

  • TRUTH AND FEASIBLE REDUCIBILITY
  • The principles of interpretability
  • An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
  • Exhibiting interpretational and representational validity
  • Title not available (Why is that?)





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 Q3140645)

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