Switch to: Citations

Add references

You must login to add references.
  1. Thinking about logic: an introduction to the philosophy of logic.Stephen Read - 1994 - New York: Oxford University Press.
    In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Logic of nondeterministic information.Ewa Orłowska - 1985 - Studia Logica 44 (1):91 - 100.
    In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A logic for reasoning about relative similarity.Beata Konikowska - 1997 - Studia Logica 58 (1):185-226.
    A similarity relation is a reflexive and symmetric binary relation between objects. Similarity is relative: it depends on the set of properties of objects used in determining their similarity or dissimilarity. A multi-modal logical language for reasoning about relative similarities is presented. The modalities correspond semantically to the upper and lower approximations of a set of objects by similarity relations corresponding to all subsets of a given set of properties of objects. A complete deduction system for the language is presented.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.
    We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • (1 other version)Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
    One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A formal logical analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Studying incompleteness of information: A class of information logics.Ewa Orłowska - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw school and contemporary philosophy. Dordrecht and Boston, MA, USA: Kluwer Academic Publishers. pp. 283--300.
    Download  
     
    Export citation  
     
    Bookmark   2 citations