Logic and Its Applications

(ed.)
Springer (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Bisimulation and Coverings for Graphs and Hypergraphs.  (pages 5--16)Martin Otto
Forcing Axioms, Finite Conditions and Some More.  (pages 17--26)Mirna Džamonja
A Note on Axiomatisations of Two-Dimensional Modal Logics.  (pages 27--33)Agi Kurucz
The Birth of Proof: Modality and Deductive Reasoning.  (pages 34--49)Adriane Rini
Indiscrete Models: Model Building and Model Checking over Linear Time.  (pages 50--68)Tim French, John McCabe-Dansted & Mark Reynolds
Probabilistic IF Logic.  (pages 69--79)Gabriel Sandu
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.  (pages 80--96)Mai Ajspur & Valentin Goranko
Agent-time epistemics and coordination.  (pages 97--108)Ido Ben-Zvi & Yoram Moses
Dynamic Epistemic Logic for Channel-Based Agent Communication.  (pages 109--120)Katsuhiko Sano & Satoshi Tojo
On Kripke's Puzzle about Time and Thought.  (pages 121--126)Rohit Parikh
Moving Up and Down in the Generic Multiverse.  (pages 139)Joel David
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.  (pages 148--160)Björn Lellmann & Dirk Pattinson
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.  (pages 161--172)Franco Parlamento & Flavio Previale
Logic of Non-monotonic Interactive Proofs.  (pages 173--184)Simon Kramer
Noninterference for Intuitionist Necessity.  (pages 185--196)Radha Jagadeesan, Corin Pitcher & James Riely
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System.  (pages 210--219)S. P. Tiwari & Anupam K. Singh
Public Announcements for Non-omniscient Agents.  (pages 220--232)Fernando R. Velázquez-Quesada
Subset Space Public Announcement Logic.  (pages 245--257)Yì N. Wáng & Thomas Ågotnes

Similar books and articles

Logic and Its Applications.Edmund Burke & Eric Foxley - 1996
Modal logic and its applications.Donald Paul Snyder - 1971 - New York,: Van Nostrand Reinhold.
Symbolic logic and its applications.Hugh MacColl - 1906 - Bombay,: Longmans, Green, and co..
Modal Logic and its Applications.M. J. Cresswell - 1972 - Philosophical Quarterly 22 (89):369-370.
Modal Logic and its Applications.Hugh Montgomery - 1971 - Journal of Symbolic Logic 40 (2):251-252.
Threshold Logic and Its Applications.Saburo Muroga - 1971 - Wiley.
Symbolic Logic and its Applications.Hugh Mac Coll - 1906 - Revue de Métaphysique et de Morale 14 (3):10-11.
Logic and Its Applications. ICLA 2017.Ghosh Sujata & Prasad Sanjiva (eds.) - 2017 - Springer.
Introduction to Mathematical Logic and its Applications.Ira Rosenbaum - 1950 - University of Miami Press.
Introduction to Symbolic Logic and Its Applications.H. Hermes - 1959 - Journal of Symbolic Logic 31 (2):287-287.

Analytics

Added to PP
2013-06-30

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references