Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,774 papers from all fields of science
Search
Sign In
Create Free Account
Axiomatic system
Known as:
Axiomatization
, Axiomatic method
, Axiomatic theory
Expand
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Abstract state machines
Belief–desire–intention software model
Burrows–Abadi–Needham logic
Busy beaver
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence
Sara Miner More
,
Pavel Naumov
,
Benjamin Sapp
Annual Conference for Computer Science Logic
2011
Corpus ID: 14421003
Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to…
Expand
2007
2007
The MISO Interference Channel : Competition versus Collaboration
E. Larsson
,
Eduard Axel Jorswieck
2007
Corpus ID: 18737877
We consider the problem of coordinating two competing multiple-antenna wireless systems (operators) that operate in the same…
Expand
Highly Cited
2006
Highly Cited
2006
SOME AXIOMATIZATIONS OF B-ALGEBRAS
A. Walendziak
2006
Corpus ID: 124870772
Some systems of axioms defining a B-algebra are given with a proof of the independence of the axioms. In addition, we obtain a…
Expand
2000
2000
Agent-BDI Logic
Shan-Li Hu
2000
Corpus ID: 63589915
In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which…
Expand
2000
2000
Bimodal Logics for Reasoning About Continuous Dynamics
J. M. Davoren
,
R. Goré
Advances in Modal Logic
2000
Corpus ID: 267941513
We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme h ai…
Expand
1997
1997
T × W Completeness
F. von Kutschera
Journal of Philosophical Logic
1997
Corpus ID: 43224550
T × W logic is a combination of tense and modal logic for worlds or histories with the same time order. It is the basis for…
Expand
1993
1993
Actions, beliefs and intentions in multi-action utterances
C. Balkanski
1993
Corpus ID: 61035569
Multi-action utterances convey critical information about agents' beliefs and intentions with respect to the actions they talk…
Expand
Review
1991
Review
1991
Disunification: A Survey.
H. Comon
1991
Corpus ID: 118923989
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and…
Expand
1982
1982
An enlarged definition and complete axiomatization of observational congruence of finite processes
Philippe Darondeau
Symposium on Programming
1982
Corpus ID: 26364281
The paper is addressed to determine an adequate notion of observational equivalence of finite processes, and to give a complete…
Expand
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
Expand