1 Tuomas E. Tahko Empirically-Informed Modal Rationalism [Penultimate draft, please cite the final version, forthcoming in Fischer, R.W. and Leon, F. (Eds.),

Source URL: www.ttahko.net

• Philosophical logic
• Justification
• Rationalism
• Branches of philosophy
• Ontology
• Modal logic
• A priori and a posteriori
• Metaphysics
• Being
• Philosophy
• Logic
• Epistemology

Logica e ontologia NINO BARNABAS COCCHIARELLA Traduzione di F. MARCACCI, rivista da G. BASTI, di N. COCCHIARELLA,«Logic and Ontology», Axiomathes, [removed]), pp[removed]e in http://www.stoqnet.org/italian/lat/dispense

Source URL: www.stoqatpul.org

Logical Thought PHIL 210 – Fall[removed]Dwight Hall – M/W/F 10:00-10:50 Jeffrey Dunn 215 Skinner; [removed]removed]

Source URL: academic.depauw.edu

• Branches of philosophy
• Academic transfer
• Education reform
• Evaluation methods
• Philosophy of education
• Argument
• Philosophy
• Propositional calculus
• Critical thinking
• Education
• Logic
• Knowledge

Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H

Source URL: www.lbd.dcc.ufmg.br

• Modal logic
• Non-classical logic
• Common knowledge
• Multi-agent system
• Model checking
• Temporal logic
• Proposition
• Kripke semantics
• Logic
• Mathematical logic
• Philosophical logic

Logic Cricket League MVP Calculating System *Batting : - 1pt per run scored - 25 bonus points for a 100 *Bowling : - 20pts for Unassisted wickets (Bowled/LBW) 10pts for Assisted wickets (caught/stumped) 50 bonus points f

Source URL: bermudacricketboard.com

• Cricket
• Jonathan Trott

Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati

Source URL: www.ida.liu.se

• Epistemology
• Frame problem
• Theoretical computer science
• Situation calculus
• Science
• Predicate transformer semantics
• Event calculus
• Logic programming
• Knowledge representation
• Artificial intelligence

LIBERAL EDUCATION PROGRAM COURSE SUBMISSION FORM GOAL AREA 9: ETHICAL AND CIVIC RESPONSIBILITY* This form should be completed for the following circumstances: For a new course proposed for the Liberal Education Program F

Source URL: www.bemidjistate.edu

• Critical thinking
• Epistemology
• Learning
• Logic
• Curriculum
• Liberal education
• General Education Outcomes
• Information literacy
• Education
• Philosophy of education
• Educational psychology

The construction of transfinite equivalence algorithms. Possible numerical chaos in error terms of 2nd order quotients. J.F. Geurdes • Logica Plc Keesomlaan 43 Amstelveen Netherlands • [removed]

Source URL: philpapers.org

• Numerical analysis
• Algorithm
• Mathematical logic
• Theoretical computer science
• Philosophy of mathematics
• Finitism
• Derivative
• Chaos theory
• Calculus
• Mathematics
• Applied mathematics
• Mathematical analysis

Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs.

Source URL: www.cs.nott.ac.uk

• Deduction
• Entailment
• 3APL
• Logic
• Multi-agent systems
• 2APL

Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource

Source URL: www.ru.is

• Philosophical logic
• Category theory
• Theoretical computer science
• Modal logic
• Bisimulation
• Logic in computer science
• Kripke semantics
• F-coalgebra
• Monoid
• Mathematics
• Abstract algebra
• Logic