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)
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
This page was built for publication:
