ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
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
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close