Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
371	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
372	LNAI[removed]Syntax and Semantics for Business Rules Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:46:37 Predicate logic Metalogic Data modeling Semantics of Business Vocabulary and Business Rules Unified Modeling Language Modal logic Quantification First-order logic Deontic logic Logic Mathematical logic Philosophical logic
373	A Logic of Agent Programs Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Orbifold Metalogic Model theory Symbol
374	STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commerc Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:26:02 Mathematics Formal languages Structure Universal algebra Interpretation Dual Orbifold Model theory Logic Metalogic
375	Logics with an existential modality Natasha Alechina and Dmitry Shkatov abstract. We consider multi-modal logics interpreted over edge-labelled graphs with a modality #, where #ϕ means ‘ϕ is accessible by an edge Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:33:46 Symbol Regular language Structure Mathematics Logic Metaphilosophy Model theory Universal algebra Metalogic
376	Epistemic Coalition Logic: Completeness and Complexity Thomas Ågotnes Natasha Alechina Dept of Information Science and Media Studies Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-02-28 06:45:44 Philosophical logic Model theory Functions and mappings Interpretation Philosophy of mind Function Logical connective Modal logic Entailment Logic Mathematics Metalogic
377	Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail: Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:30:44 Philosophical logic Model theory Metalogic Modal logic Epistemic modal logic Non-monotonic logic First-order logic FO Belief revision Logic Mathematical logic Non-classical logic
378	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
379	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
380	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning

UPDATE