Search Sciweavers | Sciweavers

3047 search results - page 26 / 610

» On the Meaning of Logical Completeness

click to vote

JANCL
2008

170views more JANCL 2008»

Algorithmic correspondence and completeness in modal logic

13 years 8 months ago

Download www2.imm.dtu.dk

ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...

Willem Conradie, Valentin Goranko

claim paper

Read More »

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

14 years 3 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

14 years 3 months ago

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

14 years 2 months ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers