JANCL 2008 | Sciweavers

12

JANCL
2008

133views more JANCL 2008»

13 years 4 months ago

Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...

Johan van Benthem, Denis Bonnay

claim paper

Read More »

13

click to vote

JANCL
2008

170views more JANCL 2008»

Algorithmic correspondence and completeness in modal logic

13 years 4 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 »

12

click to vote

JANCL
2008

109views more JANCL 2008»

Conditionalization and total knowledge

13 years 4 months ago

Download www.cs.man.ac.uk

This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...

Ian Pratt-Hartmann

claim paper

Read More »

12

click to vote

JANCL
2008

60views more JANCL 2008»

Possible-translations semantics for some weak classically-based paraconsistent logics

13 years 4 months ago