JAPLL 2006 - PDF Preprint Papers

JAPLL 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JAPLL-2006 Paper

click to vote

JAPLL
2006

56views more JAPLL 2006»

Deduction chains for common knowledge

1 years 5 months ago

Download www.iam.unibe.ch

Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...

Mathis Kretz, Thomas Studer

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	56	Deduction chains for common knowledge	claim
2	40	Model checking propositional dynamic logic with all extras	claim
3	39	Intuitionistic hybrid logic	claim
4	34	A proof-centric approach to mathematical assistants	claim
5	33	Innovations in computational type theory using Nuprl	claim
6	32	Methods for modalities 3	claim
7	31	Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics	claim
8	30	The monadic second-order logic of graphs XV: On a conjecture by D. Seese	claim
9	29	Definability and decidability of binary predicates for time granularity	claim
10	25	Towards computer aided mathematics	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers