P. Mateus, A. Sernadas  Home/Search
Context Related
| cs.math.ist.utl.pt...04MSfiblog24s.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.math.ist.utl.pt/s84....publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: when using the new models. Note that the endogenous approach to probabilistic logic is also useful and, actually, widely used. By endogenous approach we mean that we tinker with the classical models in order to make them suitable for a specific type of probabilistic reasoning. For instance, if we want a logic for reasoning about probabilistic transition systems (probabilistic automata) we can modify the Kripke models of dynamic logic by labelling the transition pairs (pairs of the... (Update)
Cited by: More
Fibring Of Logics As A Universal Construction - Caleiro, Carnielli, Rasga.. (Correct)
Active bibliography (related documents): More All
1.7: Reasoning about Quantum Systems - Mateus, Sernadas (Correct)
0.3: Paraconsistent Logic from a Modal Viewpoint - Beziau (Correct)
0.2: Automated Reasoning with Uncertainties - Silva (1992) (Correct)
Similar documents based on text: More All
0.3: Randomly Timed Automata - Mateus, Morais, Nunes, Pacheco.. (Correct)
0.3: Fibring Non-Truth-Functional Logics: Completeness.. - Caleiro, Carnielli.. (2002) (Correct)
0.2: Probabilistic Situation Calculus - Mateus, Pacheco, Pinto, Sernadas.. (2000) (Correct)
BibTeX entry: (Update)
P. Mateus and A. Sernadas. Exogenous quantum logic. In Carnielli et al. [2004], pages 141--150. http://citeseer.ist.psu.edu/mateus04exogenous.html More
@misc{ mateus04exogenous,
author = "P. Mateus and A. Sernadas",
title = "Exogenous quantum logic",
text = "P. Mateus and A. Sernadas. Exogenous quantum logic. In Carnielli et al.
[2004], pages 141--150.",
year = "2004",
url = "citeseer.ist.psu.edu/mateus04exogenous.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
167 Quantum Computation and Quantum Information (context) - Nielsen, Chuang - 2000
129 Representing and Reasoning with Probabilistic Knowledge (context) - Bacchus - 1990
110 A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
107 Artificial Intelligence (context) - Nilsson - 1986
69 Revised report on the algorithmic language Algol (context) - Naur - 1963
49 Two-bit gates are universal for quantum computation - DiVincenzo - 1995
30 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - Kripke, of et al. - 1963
22 Decidability and expressiveness for first-order logics of pr.. - Abadi, Halpern - 1994
22 The logic of quantum mechanics (context) - Birkho, von Neumann - 1936
21 Probabilistic propositional temporal logics (context) - Hart, Sharir - 1986
16 Probabilistic logic revisited (context) - Nilsson - 1993
11 Possible-translations semantics for paraconsistent logics (context) - Carnielli - 1997
8 On probability distributions over possible worlds (context) - Bacchus - 1990
5 Parameterisation of logics - Caleiro, Sernadas et al. - 1999
5 Annals of Mathematics and Artificial Intelligence (context) - Mateus, Pacheco et al. - 2001
3 Society semantics and multiplevalued logics (context) - Carnielli, Lima-Marques - 1996
2 Kluwer Academic Publishers (context) - Chiara, Giuntini et al. - 2004
2 A half-century of quantum logic (context) - Foulis - 1999
1 Exogenous probabilization of an arbitrary logic (context) - Mateus, Pacheco et al. - 2004
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/clc/publist/publist.html): More
Composition of Cryptographic Protocols in a.. - Mateus, Mitchell.. (2003) (Correct)
Program Extraction from Large Proof Developments - Cruz-Filipe, Spitters (2003) (Correct)
Multi-Agent Systems Specification and Certification: a.. - Gouveia, Ramos (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC