scientific article; zbMATH DE number 3325547

Cited in

(only showing first 100 items - show all)

The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
Terminating tableau systems for hybrid logic with difference and converse
A simple deduction method for modal logic
Modalities and quantum mechanics
Graded modalities. I
Some paraconsistent sentential calculi
Description and reasoning of VLSI circuit in temporal logic
Formal theories of knowledge in AI and robotics
Some extensions of a claim of Aumann in an axiomatic model of knowledge
An algebraic study of well-foundedness
A logic to reason about likelihood
Specification and verification of database dynamics
Belief, awareness, and limited reasoning
Modal operators with probabilistic interpretations. I
An approach to default reasoning based on a first-order conditional logic: Revised report
The recursive resolution method for modal logic
Normal predicative logics with graded modalities
A first-order conditional logic for prototypical properties
Modal resolution in clausal form
The power of temporal proofs
Completeness proofs for propositional logic with polynomial-time connectives
Relevance from an epistemic perspective
A class of decidable information logics
On the knowledge requirements of tasks
Composition and division
First-order indefinite and uniform neighbourhood semantics
On possibility qualification in natural languages
Varieties of modal (classificatory) and comparative probability
A study of some tense logics by Gentzen's sequential method
Modal quantum logic and its dialogic foundation
On some ascending chains of Brouwerian modal logics
A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
The logic of approximation in quantum theory
Bisimulation through probabilistic testing
Resolution for some first-order modal systems
TABLEAUX: A general theorem prover for modal logics
Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities
The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
The first axiomatization of relevant logic
2-sequent calculus: A proof theory of modalities
Wajsberg normal forms for S5
Investigations into quantified modal logic. I
Embeddings of classical logic in S4
Classical second-order intensional logic with maximal propositions
Embeddings of classical logic in S4. II
Laws, modalities and counterfactuals
Modal logics connected with systems \(S4_n\) of Sobocinski
Quantum logic and physical modalities
Semantics of probability
Fuzzy sets as a basis for a theory of possibility
Subformula results in some propositional modal logics
The concept of a linguistic variable and its application to approximate reasoning. I
Sequential method in propositional dynamic logic
The concept of a linguistic variable and its application to approximate reasoning. II
The concept of a linguistic variable and its application to approximate reasoning. III
The logical structure of Spinoza's Ethics, part I
A second-order relevance logic with modality
On first-order conditional logics
The logic of pragmatic truth
Constructing fuzzy measures in expert systems
Constructive and algebraic methods of the theory of rough sets
Adding a temporal dimension to a logic system
Modal logics with the MacIntosh rule
Modal logics for qualitative possibility theory
Rules in relevant logic. I: Semantic classification
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
The epistemic structure of a theory of a game
Resolution theorem proving in reified modal logics
Limited reasoning in first-order knowledge bases
On Jaśkowski's discussive logics
Autoepistemic logic of first order and its expressive power
Completeness results for intuitionistic and modal logic in a categorical setting
A deontic approach to database integrity
Counterfactual reasoning by (means of) defaults
\textit{De re} language, \textit{de re} eliminability, and the essential limits of both
A formal specification of document processing
A modal contrastive logic: The logic of ``but
Two-sorted metric temporal logics
A polynomial space construction of tree-like models for logics with local chains of modal connectives
Non-prioritized ranked belief change
Dynamic reasoning with qualified syllogisms
A framework for knowledge-based temporal abstraction
Compiling specificity into approaches to nonmonotonic reasoning
Mathematical modal logic: A view of its evolution
A binary modal logic for the intersection types of lambda-calculus.
The modal argument for hypercomputing minds
A computational model of belief
Some first-order probability logics
The genesis of possible worlds semantics
Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
Two views of the theory of rough sets in finite universes
Modal logic interpretation of Dempster-Shafer theory: An infinite case
Prior-type modal logic. II
Naming and identity in epistemic logic. II: A first-order logic for naming
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
Modal logic, truth, and the master modality.
The hooded man
Constructing a continuum of predicate extensions of each intermediate propositional logic
Natural deduction based upon strict implication for normal modal logics
Ontologically minimal logical semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5604443)