Search Sciweavers | Sciweavers

3047 search results - page 26 / 610

» On the Meaning of Logical Completeness

145

click to vote

JANCL
2008

170views more JANCL 2008»

Algorithmic correspondence and completeness in modal logic

15 years 6 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 »

130

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 24 days ago

Download research.nii.ac.jp

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

claim paper

Read More »

133

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

16 years 19 days ago

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

154

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

16 years 15 days ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

138

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers