Reasoning about visibility

&
Journal of Applied Logic 10 (2):163-178 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.02.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

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

Through your library

My notes

Similar books and articles

Reasoning about evidence.Igor Douven - 2014 - Journal of Applied Logic 12 (3):263-278.
Reasoning about conditional probabilities in a higher-order-logic theorem prover.Osman Hasan & Sofiène Tahar - 2011 - Journal of Applied Logic 9 (1):23-40.
Reasoning about proof and knowledge.Steffen Lewitzka - 2019 - Annals of Pure and Applied Logic 170 (2):218-250.
Reasoning about XML with temporal logics and automata.Leonid Libkin & Cristina Sirangelo - 2010 - Journal of Applied Logic 8 (2):210-232.
Reasoning about negligibility and proximity in the set of all hyperreals.Philippe Balbiani - 2016 - Journal of Applied Logic 16:14-36.
Reasoning about equilibria in game-like concurrent systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty.Sebastian Link - 2013 - Journal of Applied Logic 11 (3):309-327.
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.M. Golovanov, A. Kosheleva & V. Rybakov - 2005 - Logic Journal of the IGPL 13 (2):201-209.
Handicap, identité sexuée et vie sexuelle, sous la direction d’Albert Ciccone avec Simone Korff-Sausse, Sylvain Missonnier, Roger Salbreux et Régine Scelles, érès, 2010.Florence Bécar - 2011 - Dialogue: Families & Couples 2:III-III.

Analytics

Added to PP
2016-06-30

Downloads
18 (#1,123,254)

6 months
11 (#364,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
Individuals and points.Bowman L. Clark - 1985 - Notre Dame Journal of Formal Logic 26 (1):61-75.

Add more references