scientific article; zbMATH DE number 3325547
From MaRDI portal
Publication:5604443
zbMath0205.00503MaRDI QIDQ5604443
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Formal theories of knowledge in AI and robotics ⋮ Some extensions of a claim of Aumann in an axiomatic model of knowledge ⋮ 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 ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Formal justification of underspecification for S5 ⋮ An algebraic study of well-foundedness ⋮ Reasoning about coalitional games ⋮ A logic to reason about likelihood ⋮ Nice embedding in classical logic ⋮ Limited reasoning in first-order knowledge bases ⋮ Specification and verification of database dynamics ⋮ 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 ⋮ Belief, awareness, and limited reasoning ⋮ A deontic approach to database integrity ⋮ Counterfactual reasoning by (means of) defaults ⋮ 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 logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Modal resolution in clausal form ⋮ The power of temporal proofs ⋮ First-order intensional logic ⋮ Completeness proofs for propositional logic with polynomial-time connectives ⋮ Relevance from an epistemic perspective ⋮ Does the deduction theorem fail for modal logic? ⋮ A class of decidable information logics ⋮ On the knowledge requirements of tasks ⋮ The situation calculus: a case for modal logic ⋮ 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 ⋮ A tableau-based decision procedure for CTL\(^*\) ⋮ On some ascending chains of Brouwerian modal logics ⋮ Branching versus linear logics yet again ⋮ A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan ⋮ Strategies for modal resolution: Results and problems ⋮ The logic of approximation in quantum theory ⋮ Bisimulation through probabilistic testing ⋮ Resolution for some first-order modal systems ⋮ On a derivation of the necessity of identity ⋮ 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 ⋮ 3-SAT = SAT for a class of normal modal logics ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Prior on the semantics of modal and tense logic ⋮ The first axiomatization of relevant logic ⋮ 2-sequent calculus: A proof theory of modalities ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ De re modality and the new essentialism: a dilemma ⋮ Wajsberg normal forms for S5 ⋮ Investigations into quantified modal logic. I ⋮ Embeddings of classical logic in S4 ⋮ A timeband framework for modelling real-time systems ⋮ 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 ⋮ Necessity and relative contingency ⋮ 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 ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ 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 ⋮ Applause: An implementation of the Collins-Michalski theory of plausible reasoning ⋮ Tensed modalities ⋮ On first-order conditional logics ⋮ The logic of pragmatic truth ⋮ Terminating tableau systems for hybrid logic with difference and converse ⋮ Constructing fuzzy measures in expert systems ⋮ Quantified modal logic: non-normal worlds and propositional attitudes ⋮ Constructive and algebraic methods of the theory of rough sets ⋮ A simple deduction method for modal logic ⋮ Urn models: A classical exposition ⋮ Languages of similarity ⋮ Modalities and quantum mechanics ⋮ Adding a temporal dimension to a logic system ⋮ Graded modalities. I ⋮ Modal logics with the MacIntosh rule ⋮ Some paraconsistent sentential calculi ⋮ Modal logics for qualitative possibility theory ⋮ Rules in relevant logic. I: Semantic classification ⋮ Knowledge, action, and the frame problem ⋮ An interpretation of Łukasiewicz's 4-valued modal logic ⋮ Description and reasoning of VLSI circuit in temporal logic
This page was built for publication:
