Proof, Computation and Agency
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Netherlands

9789400700796, 9789400700802

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two Applications of Epistemic Logic in Computer Security

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_9 ◽

2011 ◽

pp. 133-144 ◽

Cited By ~ 2

Author(s):

Ron van der Meyden

Keyword(s):

Computer Security ◽

Epistemic Logic

Download Full-text

What Is the Difference Between Proofs and Programs?

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_6 ◽

2011 ◽

pp. 81-97

Author(s):

John N. Crossley

Keyword(s):

The Difference

Download Full-text

Zero-One Laws: Thesauri and Parametric Conditions

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_7 ◽

2011 ◽

pp. 99-114

Author(s):

Andreas Blass ◽

Yuri Gurevich

Download Full-text

Indian Logic and Philosophy of Science: The Logic-Epistemology Link

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_18 ◽

2011 ◽

pp. 333-353

Author(s):

Sundar Sarukkai

Keyword(s):

Philosophy Of Science ◽

Indian Logic

Download Full-text

Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_8 ◽

2011 ◽

pp. 115-131 ◽

Cited By ~ 11

Author(s):

Ferdinando Cicalese* ◽

Daniele Mundici

Keyword(s):

Recent Developments

Download Full-text

Deductive Systems of Fuzzy Logic

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_5 ◽

2011 ◽

pp. 67-78 ◽

Cited By ~ 2

Author(s):

Petr Hájek

Keyword(s):

Fuzzy Logic ◽

Deductive Systems

Download Full-text

In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_12 ◽

2011 ◽

pp. 217-227

Author(s):

Krister Segerberg

Keyword(s):

Belief Revision ◽

Doxastic Logic ◽

Iterated Belief Revision ◽

Dynamic Doxastic Logic

Download Full-text

What Is a Proof?

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_3 ◽

2011 ◽

pp. 35-52

Author(s):

John N. Crossley§

Download Full-text

Is There a Logic of Society?

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_2 ◽

2011 ◽

pp. 19-31

Author(s):

Rohit Parikh

Download Full-text

From Sentence Meanings to Full Semantics

Proof, Computation and Agency ◽

10.1007/978-94-007-0080-2_15 ◽

2011 ◽

pp. 261-276

Author(s):

Wilfrid Hodges

Download Full-text