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 (only showing first 100 items - show all)
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
This page was built for publication:
