scientific article; zbMATH DE number 3212004
From MaRDI portal
Publication:5339289
zbMath0131.00602MaRDI QIDQ5339289
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Time and determinism, A tableau-like proof procedure for normal modal logics, On the evaluation of solution concepts, Resolution theorem proving in reified modal logics, Investigations into quantified modal logic, The information in intuitionistic logic, The broadest necessity, Partial semantics for quantified modal logic, Limited reasoning in first-order knowledge bases, A logical theory of localization, A complete minimal logic of the propositional contents of thought, Adjointness of fuzzy systems, Temporal logics in AI: semantical and ontological considerations, On relationship between modified sets, topological spaces and rough sets, Incompleteness and the Barcan formula, Design and evaluation of norm-aware agents based on normative Markov decision processes, Topos theory and consistent histories: The internal logic of the set of all consistent sets, A calculus and logic of resources and processes, Model checking learning agent systems using Promela with embedded C code and abstraction, \textit{De re} language, \textit{de re} eliminability, and the essential limits of both, Pure extensions, proof rules, and hybrid axiomatics, First-order classical modal logic, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, The permutation principle in quantificational logic, A deductive approach towards reasoning about algebraic transition systems, An automata theoretic decision procedure for the propositional mu- calculus, First-order intensional logic, Modal ontology and generalized quantifiers, A theoretical investigation into quantitative modal logic, Bilattices and the theory of truth, Relevance from an epistemic perspective, A unifying study between modal-like operators, topologies and fuzzy sets, Theory structuralism in a rigid framework, The situation calculus: a case for modal logic, Quantification in some non-normal modal logics, Semantical considerations on multiagent only knowing, A history based approximate epistemic action theory for efficient postdictive reasoning, Proposition-valued random variables as information, Dynamic reasoning with qualified syllogisms, Robot location estimation in the situation calculus, Quantitative model checking of linear-time properties based on generalized possibility measures, Interpolation in loop-free logic, Order-dual relational semantics for non-distributive propositional logics: a general framework, A planner agent that tries its best in presence of nondeterminism, Kripke models for classical logic, Kripke modelling and verification of temporal specifications of a multiple UAV system, First-order modal theories, Reasoning about graded strategy quantifiers, A Hintikka possible worlds model for certainty levels in medical decision making, A constructive approach to state description semantics, Coalgebraic semantics of modal logics: an overview, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, An epistemic model of logic programming, Mathematical modal logic: A view of its evolution, An analytic tableau calculus for a temporalised belief logic, Quantum sets and Clifford algebras, Backdoors for linear temporal logic, Provability: The emergence of a mathematical modality, CIFOL: case-intensional first order logic. I: Toward a theory of sorts, On a derivation of the necessity of identity, Explanation and modality: on the contingency horn of Blackburn's dilemma, Reasoning about reasoning in a meta-level architecture, A semantic hierarchy for intuitionistic logic, 3-SAT = SAT for a class of normal modal logics, Component-wise incremental LTL model checking, Dynamical systems in categories, Actualism, serious actualism, and quantified modal logic, Prior, translational semantics, and the Barcan formula, Prior, Berkeley, and the Barcan formula, A model-theoretic criterion of ontology, NIS-apriori-based rule generation with three-way decisions and its application system in SQL, Revising Carnap's semantic conception of modality, Spacetime and mereology, John McCarthy's legacy, A semantic characterization of a useful fragment of the situation calculus with knowledge, Ontological commitment to particulars, Normal modal model theory, The semantics of entailment. II, Contingent identity, Rational belief change, Popper functions and counterfactuals, Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism, Cycle detection in computation tree logic, Quantum logic and physical modalities, The logical structure of Spinoza's Ethics, part I, Possible worlds for modal primitivists, Reaching agreements through argumentation: a logical model and implementation, From environments to representations -- a mathematical theory of artificial perceptions, The ontology of impossible worlds, TOrPEDO : witnessing model correctness with topological proofs, Modifiers connect \(L\)-fuzzy sets to topological spaces, Quantifier-free epistemic term-modal logic with assignment operator, A computational model of belief, Quantified modal logic: non-normal worlds and propositional attitudes, Metaphysical modality, without possible worlds, Tractable reasoning via approximation, Approximate planning, Quantified Quinean \(S5\), Knowledge, action, and the frame problem, Individual concepts in modal predicate logic, The genesis of possible worlds semantics, Parametrised Complexity of Satisfiability in Temporal Logic, An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation, Towards World Identification in Description Logics, Integrating Topological Proofs with Model Checking to Instrument Iterative Design, Twenty-five basic theorems in situation and world theory, The effects of effects on constructivism, MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS, Specifying and reasoning about uncertain agents, Logics from Galois connections, Essence and necessity, Deriving Inverse Operators for Modal Logic, Translating a Counterpart Theory into a Quantified Modal Language with Descriptors, An Occurrence Description Logic, Deontic logic and possible worlds semantics: A historical sketch, The Friedman-Sheard programme in intuitionistic logic, Limited reasoning in first-order knowledge bases with full introspection, Uniform and non uniform strategies for tableaux calculi for modal logics, Higher-order contingentism. I: Closure and generation, Reasoning About Strategies, Extensional Logic of Hyperintensions, Indexical knowledge and robot action -- a logical account, A logic of time, chance, and action for representing plans, An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability, The Barcan formulas and necessary existence: the view from quarc, Reasoning About Substructures and Games, STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS, Solving modal logic problems by translation to higher-order logic, Perfect prediction in normal form: superrational thinking extended to non-symmetric games, Equivalence checking 40 years after: a review of bisimulation tools, A Computable Solution to Partee’s Temperature Puzzle, Geometric modal logic, Counterpart theories for everyone, New frontiers in ground, essence, and modality: introduction, Unnamed Item, How to Lewis a Kripke-Hintikka, Belief ascription and the Ramsey test, Unnamed Item, The universe of discourse of modal logic, Quantified temporal alethic-deontic logic, Unnamed Item, Montague's paradox, informal provability, and explicit modal logic, Modelling Multi-Agent Epistemic Planning in ASP, Unnamed Item, The Modal Status of Contextually A Priori Arithmetical Truths, On the Plurality of Spaces in Leibniz, Understanding planning with incomplete information and sensing, Is Natural Semantics Possible?—Ordinary English, Formal Deformations-cum-Reformations and the Limits of Model Theory, Generative program analysis and beyond: the power of domain-specific languages (invited paper), Calculational design of a regular model checker by abstract interpretation, Multimodal Separation Logic for Reasoning About Operational Semantics, RELATIVE-SAMENESS COUNTERPART THEORY, Jaśkowski's universally free logic, Which modal logic is the right one?, Inductive logic with causal modalities: A deterministic approach, Local Models Semantics, or contextual reasoning = locality + compatibility, Unnamed Item, Temporal representation and reasoning in artificial intelligence: A review, Smaller Abstractions for ∀CTL* without Next, Peirce's contributions to possible-worlds semantics, Strict identity with no overlap, Commutativity of Quantifiers in Varying-Domain Kripke Models, Plantinga’s Haecceitism and Simple Quantified Modal Logic, Parameterized Complexity of CTL, The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church, An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning, MODALITY AND EXPRESSIBILITY, An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning, Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus, Neighborhood-Sheaf Semantics for First-Order Modal Logic, Linguistics and natural logic, General semantics, Pragmatics and intensional logic, Labelled proofs for quantified modal logic, Modal logic with subjunctive conditionals and dispositional predicates, All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument, Varieties of rigidity, Modal Platonism: an easy way to avoid ontologial commitment to abstract entities, Validity and necessity, Counterpart semantics at work: independence and incompleteness results in quantified modal logic, Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic, Interpretations of Weak Positive Modal Logics, R-Mingle is Nice, and so is Arnon Avron, Formally computing with the non-computable
