scientific article; zbMATH DE number 3325547
From MaRDI portal
zbMath0205.00503MaRDI QIDQ5604443
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, The Invariance Modality, Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p, The elimination of De Re modalities, A conjunctive normal form for S3.5, EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes, Semantics for RKt, Uniform and non uniform strategies for tableaux calculi for modal logics, A rough set approach to reasoning under uncertainty, Morphologic for knowledge dynamics: revision, fusion and abduction, C. I. Lewis's intensional semantics, Unnamed Item, Automated deduction in a graphical temporal logic, A fugue on the themes of awareness logic and correspondence, Talkin'bout consistency, or: When logically possible becomes possible, On the semantics of the unknown, Automatic synthesis of real time systems, A simple tableau system for the logic of elsewhere, Doxastic logic: a new approach, Resolution-based calculi for modal and temporal logics, Regular database update logics, Model checking using net unfoldings, 1999 European Summer Meeting of the Association for Symbolic Logic, The logic of modal changes LMC, Labelled proofs for quantified modal logic, From Intuitionism to Brouwer's Modal Logic, Approximation Schemes in Logic and Artificial Intelligence, Unnamed Item, Logics containing K4. Part I, A Logical Autobiography, FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION, A simple maximality principle, The Truth about Defaults, Constructing a continuum of predicate extensions of each intermediate propositional logic, An incomplete decidable modal logic, Relevant logic as a basis for paraconsistent epistemic logics, Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic, Logic in Access Control (Tutorial Notes), Belief, knowledge and faith: a logical modal theory, Natural deduction based upon strict implication for normal modal logics, Ontologically minimal logical semantics, \textit{De re} language, \textit{de re} eliminability, and the essential limits of both, Herbrand style proof procedures for modal logic, A formal specification of document processing, A general approach for determining the validity of commonsense assertions using conditional logics, European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987, A modal contrastive logic: The logic of ``but, HIERARCHICAL UNCERTAINTY METATHEORY BASED UPON MODAL LOGIC, Reasoning about actions and obligations in first-order logic, Routley’s formulation of transparency, Modal logics in the vicinity of S1, Separation logics and modalities: a survey, Reasoning-based introspection, Two-sorted metric temporal logics, Indexical knowledge and robot action -- a logical account, A logic of time, chance, and action for representing plans, The McKinsey axiom is not compact, On modal logic interpretation of Dempster–Shafer theory of evidence, 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, DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC, Multimodal incompleteness under weak negations, Modal extensions of sub-classical logics for recovering classical logic, Metaphysical necessity: a skeptical perspective, Modal propositional logic on an orthomodular basis. I, Hintikka multiplicities in matrix decision methods for some propositional modal logics, Weak liberated versions of T and S4, Some results in modal model theory, Mathematical modal logic: A view of its evolution, Epistemic properties of knowledge hierarchies, Vagueness and revision sequences, All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete, S7, Liberated versions ofT, S4, andS5, A binary modal logic for the intersection types of lambda-calculus., Quantified temporal alethic-deontic logic, Some considerations on the logics PFD A logic combining modality and probability, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, An algebraic generalization of Kripke structures, The modal argument for hypercomputing minds, On the logic of cooperation and propositional control, Unnamed Item, PROTECTION AS A GENERAL SYSTEMS PROBLEM, THE LOGIC OF AUTOMATA, Rough set reasoning using answer set programs, Can all things be counted?, Labelled sequent calculi for Lewis' non-normal propositional modal logics, Predicate Modal Logics Do Not Mix Very Well, Defining relevant implication in a propositionally quantified S4, Unnamed Item, SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY, Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis, Partly free semantics for some Anderson-like ontological proofs, Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, VARIETIES OF EQUALITY STRUCTURES, A new Gödelian argument for hypercomputing minds based on the busy beaver problem, A loop-free decision procedure for modal propositional logics K4, S4 and S5, Possible worlds semantics and fiction, All I know: A study in autoepistemic logic, Substance and first-order quantification over individual-concepts, A Strange Remark Attributed to Gödel, Two views of the theory of rough sets in finite universes, Modal logic interpretation of Dempster-Shafer theory: An infinite case, Blocking and other enhancements for bottom-up model generation methods, A tableaux calculus for default intuitionistic logic, A Semantical Account of Progression in the Presence of Defaults, Linguistics and natural logic, Reduction to first degree in quantificational S5, Supra-logic: using transfinite type theory with type variables for paraconsistency, Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning, Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977, Intensional logics and logical truth, Modal logic with subjunctive conditionals and dispositional predicates, Indefinite topological logic, A computational model of belief, On 'de dicto' modalities in quantified S5, Provability as a deontic notion, Some first-order probability logics, Prior-type modal logic. II, Modal Platonism: an easy way to avoid ontologial commitment to abstract entities, Modal semantics without possible worlds, 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, The genesis of possible worlds semantics
